Computer science logic :  11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / 
Mogens Nielsen, Wolfgang Thomas (eds.). 
 - viii, 509 p. ;  24 cm. 
 - Lecture notes in computer science ;  1414. .
<br/><br/>
<br/><br/><label>ISBN: </label>3540645705 (softcover : alk. paper) 
<br/><br/><label>LCCN: </label>98022163 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9.L63  / W67 1998