Computer science logic :  6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers / 
E. Börger ... [et al.] (Eds.) 
 - Berlin :  Springer-Verlag,  1993 
 - 439 p. 
 - Lecture notes in computer science ;  no. 702 .
<br/><br/><label>ISBN: </label>3540569928 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Electronic data processing--Congresses<br/>Computers--Congresses<br/>Computer science--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / W67 1992