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

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

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540557075 ISBN 13:  9783540557074
Publisher: Springer, 1992
Softcover