9783540556022 - Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 607 (Lecture Notes in C... (12 resultados)

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Condición: As New. Unread book in perfect condition.

Condición: New. In.

Condición: New.

Broschiert Broschiert. Condición: Sehr gut. XV, 793 Seiten, Lecture Notes in Artificial Intelligence, Vol. 607. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1120.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 816 | Sprache: Englisch | Produktart: Bücher | This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning.

Softcover. Condición: gut. 1992. Automated Deduction - CADE-11 In deutscher Sprache. pages.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning. 816 pp. Englisch.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countr.

Taschenbuch. Condición: Neu. Automated Deduction - CADE-11 | 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings | Deepak Kapur | Taschenbuch | xvi | Englisch | 1992 | Springer | EAN 9783540556022 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 816 pp. Englisch.