Verwandte Artikel zu Handbook of Automated Reasoning: Volume I
Inhaltsangabe
This first volume of the "Handbook of Automated Reasoning" includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagElsevier - Academic Press
- Erscheinungsdatum2001
- ISBN 10 0444829490
- ISBN 13 9780444829498
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten998
- HerausgeberRobinson Alan
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 170,00
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Handbook of Automated Reasoning: Volume I
Foto des Verkäufers
Handbook of Automated Reasoning. Vol.1
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. 996 pp. Englisch. Bestandsnummer des Verkäufers 9780444829498
Anzahl: 2 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning. Vol.1
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods. Bestandsnummer des Verkäufers 9780444829498
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Verlag:
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498
Gebraucht
Hardcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 2037896/2
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780444829498
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 684925-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 684925-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning (Volume I)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780444829498_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
HANDBK OF AUTOMATED REASONING
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.Part I. History 1. The Early History o. Bestandsnummer des Verkäufers 594687213
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9780444829498
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Handbook of Automated Reasoning
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 684925
Anzahl: Mehr als 20 verfügbar