Logical Foundations of Computer Science--Tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)

Nerode, Anil

ISBN 10: 0387557075 / ISBN 13: 9780387557076

Published by Springer Verlag, 1992

About this Item

Like New.

Seller Inventory # ERICA70403875570755

Bibliographic Details

• Title: Logical Foundations of Computer Science--Tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer Verlag
• Publication Date: 1992
• Language: English
• ISBN 10: 0387557075
• ISBN 13: 9780387557076
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

Synopsis

Logical Foundations of Computer Science - Tver '92: Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings 2nd The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.