{"product_id":"9783540557074","title":"Lecture Notes in Computer Science: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eNerode, Anil; Taitslin, Mikhail\u003c\/h2\u003e \u003cp\u003eThis volume presents the papers selected for the Symposium\nLogic at Tver    '92, held at Sokol, near Tver, Russia in July\n1992. It is the second in a   series of international symposia\non logical foundations of computer science held in Russia.\nThe meeting is a joint effort of scholars from both         the\nformer Soviet Union and the West, and indicates a new era               of\ninternational cooperation. Sponsors of the meeting include:\nthe      Association for Computing Machinery, the Association for\nSymbolic Logic, andthe Committee on Mathematical\nFoundations of Computer Science of            IEEE.\nThe book is a unique source of information on the state               of\ncomputer science research in the former Soviet Union and\npresents    important discoveries in the area of logical\nfoundations of computer        science.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-06-24\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540557074\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0023857\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 517\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370077479052,"sku":"9783540557074","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540557074.jpg?v=1773969976","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540557074","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}