Von dem Buch Automated Theorem Proving: A Logical Basis Artificial Intelligence haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Wolfgang Bibel, Donald W. Loveland: Automated Theorem Proving: A Logical Basis Artificial Intelligence (ISBN: 9783528185206) in Deutsch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
44%: Donald W. Loveland: Automated Theorem Proving: A Logical Basis (ISBN: 9780720404999) Elsevier Science & Technology Books, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Theorem Proving: A Logical Basis Artificial Intelligence
7 Angebote vergleichen
Preise | Jan. 14 | Okt. 14 | Okt. 15 |
---|---|---|---|
Schnitt | Fr. 77.65 (€ 79.40)¹ | Fr. 73.87 (€ 75.54)¹ | Fr. 89.49 (€ 91.52)¹ |
Nachfrage |
1
Automated Theorem Proving
DE PB NW
ISBN: 9783528185206 bzw. 3528185201, in Deutsch, Vieweg+Teubner, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.XIV, 289 p.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.XIV, 289 p.Versandfertig in 3-5 Tagen, Softcover.
2
Automated Theorem Proving (1986)
DE PB NW
ISBN: 9783528185206 bzw. 3528185201, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 289 pages. Dimensions: 9.6in. x 6.7in. x 0.7in.Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S. T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 289 pages. Dimensions: 9.6in. x 6.7in. x 0.7in.Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S. T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
5
Automated Theorem Proving: A Logical Basis
EN HC NW
ISBN: 9780720404999 bzw. 0720404991, in Englisch, Elsevier Science & Technology Books, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, In Stock.
Automated-Theorem-Proving~~Donald-W-Loveland, Automated Theorem Proving: A Logical Basis, Hardcover.
Automated-Theorem-Proving~~Donald-W-Loveland, Automated Theorem Proving: A Logical Basis, Hardcover.
Lade…