Computer science logic :  10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / 
 CSL '96  EACSL 
Dirk van Dalen and Marc Bezem, eds. 
 - Berlin :  Springer,  1997 
 - 471 p. 
 - Lecture notes in computer science ;  no. 1258 .
<br/><br/><label>ISBN: </label>3540631720 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 L63  / W67 1996