Items related to Logical Foundations of Computer Science--Tver '92:...
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science) - Softcover
Synopsis
This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, and the Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.
"synopsis" may belong to another edition of this title.
- PublisherSpringer Verlag
- Publication date1992
- ISBN 10 0387557075
- ISBN 13 9780387557076
- BindingPaperback
- LanguageEnglish
- Number of pages514
- EditorM. Taitslin
Search results for Logical Foundations of Computer Science--Tver '92:...
Stock Image
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science 620)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 514 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB716581
Quantity: 1 available
Stock Image
Logical Foundations Of Computer Science--tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (lecture Notes In Computer Science)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-87130
Quantity: 1 available
Stock Image
Logical Foundations Of Computer Science--tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (lecture Notes In Computer Science)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-222034
Quantity: 1 available
Stock Image
Logical Foundations of Computer Science - Tver '92
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 514. Seller Inventory # 263123880
Quantity: 1 available
Stock Image
Logical Foundations of Computer Science - Tver '92
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 514. Seller Inventory # 5772663
Quantity: 1 available
Stock Image
Logical Foundations of Computer Science - Tver '92
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 514. Seller Inventory # 183123874
Quantity: 1 available
Stock Image
Logical Foundations of Computer Science--Tver *92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA70403875570755
Quantity: 1 available