-
1Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers /by Börger, E. editor., Jäger, G. editor., Kleine Büning, H. editor., Martini, S. editor., Richter, M. M. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
2Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers / Computer Science Logic [electronic resource] : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers /by Börger, E. editor., Jäger, G. editor., Kleine Büning, H. editor., Martini, S. editor., Richter, M. M. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS