Media type: E-Book Title: Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings Contributor: Nerode, Anil [Author]; Taitslin, Mikhail [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1992 Published in: Lecture notes in computer science ; 620 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0023857 ISBN: 9783540472766 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Computer science ; Computer software ; Logic design ; Logic, Symbolic and mathematical ; Computer Science Origination: Footnote: