Computer science logic :  12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / 
Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) 
 -  Springer,  1999. 
 - xv, 429 p. :  ill. ;  23 cm. 
 - Lecture notes in computer science ;  1584 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540659226 (softcover : alk. paper) 
<br/><br/><label>LCCN: </label>99030760  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic--Congresses.
<br/><br/><label>Subjects--Index Terms: </label>საინფორმაციო ტექნოლოგიები კომპიუტერული ტექნოლოგიები კომპიუტერული ლოგიკა კონგრესები 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63  / W67 1998 
<br/><br/><label>Dewey Class. No.: </label>004/.01/5113 
<br/><br/><label>Universal Decimal Class. No.: </label>004