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.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Handbook of Automated Reasoning (Volume I)
Beispielbild für diese ISBN
Handbook of Automated Reasoning
Verlag:
Elsevier Science & Technology, 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498
Gebraucht
Hardcover
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers 55967650-20
Gebraucht kaufen
EUR 217,14
EUR 5,77 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
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. Englisch. Bestandsnummer des Verkäufers 9780444829498
Neu kaufen
EUR 265,30
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
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 | Keine Beschreibung verfügbar. Bestandsnummer des Verkäufers 2037896/2
Gebraucht kaufen
EUR 195,07
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 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
Neu kaufen
EUR 273,93
EUR 69,85 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Handbook of Automated Reasoning (Volume I)
Anbieter: GoldBooks, Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 83V46_58_0444829490
Neu kaufen
EUR 732,97
EUR 3,69 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar