01052oam 2200289z- 450 99646577250331620080308084212.0(CKB)1000000000233849(EXLCZ)99100000000023384920210330c1992uuuu -u- -engLogical foundations of computer science--Tver '92 second international symposium, Tver, Russia, July 20-24, 1992 proceedings /A. Nerode, M. Taitslin (eds.)Springer Berlin Heidelberg3-540-55707-5 ComputersCongressesElectronic data processingCongressesLogic, Symbolic and mathematicalCongressesComputersCongresses.Electronic data processingCongresses.Logic, Symbolic and mathematicalCongresses.004Nerode Anil48991Taitslin Mikhail A1220932BOOK996465772503316Logical Foundations of Computer Science — Tver '922830401UNISA