Reseña del editor
Examining the efficiency of theorem proving strategies, this text provides a comparative and asymptotic anlaysis.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für The Efficiency of Theorem Proving Strategies. A Comparative...
Beispielbild für diese ISBN
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Verlag:
Friedr Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10: 352805574X
ISBN 13: 9783528055745
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-867-888
Gebraucht kaufen
EUR 6,29
Versand:
EUR 22,50
Von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
ISBN 10: 352805574X
ISBN 13: 9783528055745
Gebraucht
Broschiert
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. VI, 167 Seiten, Englisch 236g. Artikel-Nr. 492374
Gebraucht kaufen
EUR 36,00
Versand:
EUR 35,95
Von Deutschland nach USA
Anzahl: 1 verfügbar