TY  - BOOK
AU  - Adian Sergei ed.
ED  - International Symposium, LFCS'97 on Logical Foundations of Computer Science (4th : 6-12 Jul 1997 : Yaroslavl,Russia)
ED  - International symposium, LFCS'97 on logical foundations of computer science
TI  - Logical foundations of computer science: proceedings
U1  - 5.131 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer science
KW  - Logic programming
ER  -