TY  - BOOK
AU  - Gottlob,G.
AU  - Grandjean,Etienne
AU  - Seyr,Katrin
TI  - Computer science logic: 12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings 
SN  - 3540659226 (softcover : alk. paper)
AV  - QA76.9.L63 W67 1998
U1  - 004/.01/5113 21
PY  - 1999///
CY  - Berlin, New York
PB  - Springer
KW  - Computer logic
KW  - Congresses
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - კომპიუტერული ლოგიკა
KW  - კონგრესები
N1  - Includes bibliographical references
UR  - http://www.loc.gov/catdir/enhancements/fy0816/99030760-d.html
ER  -