-
1Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings / Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings /Texto bibliotecaCOLPOS
-
2Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings / Logical Foundations of Computer Science — Tver '92 [electronic resource] : Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings /Texto bibliotecaCOLPOS