Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Sprache: Englisch

Verlag: Springer, 1992

3540556028 / 9783540556022

  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Buchpark, Trebbin, DeutschlandBuchpark

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 30. September 2021

Softcover

Zustand: Gebraucht - Sehr gut

EUR 82,61

EUR 105,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.…

Bestandsnummer des Verkäufers 103736/202

Titel
Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Autor
Unbekannt
Verlag
Springer
Erscheinungsjahr
1992
Zustand
Sehr gut
Einband
Softcover
Sprache
Englisch
ISBN-10
3540556028
ISBN-13
9783540556022
Verkäuferkataloge
Bücher

Buchpark

Trebbin, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 30. September 2021

Versandkosten von Deutschland nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 105,00EUR 130,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shopbeschreibung

Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet. Wir schenken Büchern ein zweites Leben.…

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Buchpark GmbH

Krügerweg 1
Trebbin, Deutschland 14959