{"product_id":"9783540556022","title":"Lecture Notes in Computer Science: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings\u003c\/h1\u003e \u003ch2\u003eKapur, Deepak\u003c\/h2\u003e \u003cp\u003eThis volume contains the papers presented at the Eleventh\nInternational     Conference on Automated Deduction (CADE-11)\nheld in Saratoga Springs, NY, inJune 1992. A total of 136\npapers were submitted for presentation by         researchers from\nnearly 20 countries. Papers covered many topics            including:\nresolution; term rewriting; natural deduction;                   theorem\nproving, in particular in algebra and geometry; parallel\ntheoremprovers; unification theory; constraint solving;\nlogic programing;          verification; multivalued, temporal and\nnonclassical logics; non-monotonic  reasoning; planning;\nproof theory; higher-order logics; and inductive       theorem\nproving. Each submission was reviewed by at least three\nprogram committee members and 46 papers were selected for\npresentation and          publication. This volume also contains\nshort descriptions of 23             implementations of automated\ndeduction systems. The volume opens with a     keynote address\nby Larry Wos, winner of the first Herbrand Award            for\nDistinguished Contributions to Automated Reasoning.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-05-27\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540556022\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-55602-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 800\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370065911948,"sku":"9783540556022","price":98.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540556022.jpg?v=1773969668","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540556022","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}