Nerode, A., & Taitslin, M. (1992). Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationNerode, Anil, and Mikhail Taitslin. Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.
MLA (9th ed.) CitationNerode, Anil, and Mikhail Taitslin. Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings. Springer Berlin Heidelberg, 1992.
Warning: These citations may not always be 100% accurate.