TY  - BOOK
AU  - Nerodo A
ED  - International Symposium on Logical Foundations of computer Science( 3rd : 1994 : Petersburg )
ED  - International Symposium on Logical Foundations of computer Science 3rd
TI  - Logical foundations of computer science : proceedings
U1  - 5.131 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -