Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings - Paperback
$54.99
Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 54 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Anil Nerode, Mikhail TaitslinSeries:Lecture Notes in Computer SciencePublish date:6/24/1992Pages:517
Languages:EnglishPublisher:SpringerISBN-13:9783540557074ISBN-10:3540557075UPC:9783540557074Book Category:Computers, MathematicsBook Subcategory:Machine Theory, Computer Science, LogicSize:9.21 x 6.14 x 1.07 inchesWeight:0.735Product ID:SCR5SN6K33
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, andthe 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.
Languages:EnglishPublisher:SpringerISBN-13:9783540557074ISBN-10:3540557075UPC:9783540557074Book Category:Computers, MathematicsBook Subcategory:Machine Theory, Computer Science, LogicSize:9.21 x 6.14 x 1.07 inchesWeight:0.735Product ID:SCR5SN6K33
Publisher: Springer
Edition
1992 Edition
Contributor(s)
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Eligible items may be returned within 30 days of delivery. Conditions apply.