CSL'87 :  1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / 
E. Börger, H. Kleine Büning and M. M. Richter (Eds.) 
 - Berlin :  Springer-Verlag,  1988 
 - 346 p. 
 - Lecture notes in computer science ;  no. 329 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses<br/>Electronic data processing--Congresses<br/>Computers--Congresses<br/>Computer science--Mathematics
<br/><br/><label>LC Class. No.: </label>QA76.9 M35  / W67 1987