Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings - Couverture souple
Synopsis
This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Automated Deduction - CADE-11: 11th Internationat Conference...
Image d'archives
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture . / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD1423152
Acheter D'occasion
EUR 78,05
Expédition à EUR 6,02
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Lecture Notes in Computer Science, 607)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540556022_new
Acheter neuf
EUR 112,20
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Deduction - CADE-11
Edité par
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540556022
Acheter neuf
EUR 106,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Automated Deduction - CADE-11
Edité par
Springer Berlin Heidelberg, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 4893663
Acheter neuf
EUR 92,27
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings
Edité par
Berlin, Heidelberg, New York: Springer-Verlag, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Ancien ou d'occasion
Broschiert Broschiert
Vendeur : Antiquariat Bernhardt, Kassel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert Broschiert. Etat : 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. N° de réf. du vendeur 492524
Acheter D'occasion
EUR 110,90
Expédition à EUR 49,90
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Deduction - CADE-11 | 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 102134370
Acheter neuf
EUR 95,70
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Automated Deduction - CADE-11
Edité par
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 GmbH, Tiergartenstr. 17, 69121 Heidelberg 816 pp. Englisch. N° de réf. du vendeur 9783540556022
Acheter neuf
EUR 106,99
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540556022
Acheter neuf
EUR 106,99
Expédition à EUR 66,06
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Edité par
Springer, 1992
ISBN 10 : 3540556028
ISBN 13 : 9783540556022
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 103736/202
Acheter D'occasion
EUR 74,35
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)