{"product_id":"logical-foundations-of-computer-science-tver-92-second-international-symposium-tver-russia-july-20-24-1992-proceedings-von-anil-nerode-mikhail-taitslin-hrsg","title":"Logical Foundations of Computer Science - Tver '92","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540557074\"\u003e\u003ch3\u003eSecond International Symposium, Tver, Russia, July 20-24, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540557074","offer_id":39437210583133,"sku":"9783540557074","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/24e0052a-0c46-42be-8261-b0b3f3144e61.jpg?v=1773554589","url":"https:\/\/shop.autorenwelt.de\/products\/logical-foundations-of-computer-science-tver-92-second-international-symposium-tver-russia-july-20-24-1992-proceedings-von-anil-nerode-mikhail-taitslin-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}