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.
Neu kaufen
Diesen Artikel anzeigen
EUR 218,43
EUR 5,85 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
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: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 2037896/2
Anzahl: 1 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. Artikel-Nr. 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. Artikel-Nr. 594687213
Anzahl: Mehr als 20 verfügbar