Computer science logic :  9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / 
 CSL '95  EACSL 
Hans Kleine Büning, ed. 
 - Berlin :  Springer,  1996 
 - 485 p. 
 - Lecture notes in computer science ;  v. 1092 .
<br/><br/><label>ISBN: </label>3540613773 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 L63  / W67 1995