- CADE-15: 15th Lindau, Germany, July 5-10, Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
6 Angebote vergleichen
| Preise | 2012 | 2013 | 2014 | 2015 | 2019 |
|---|---|---|---|---|---|
| Schnitt | € 70,49 | € 60,94 | € 73,44 | € 60,70 | € 96,29 |
| Nachfrage |
1
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
DE PB NWISBN: 9783540646754 bzw. 3540646752, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, shefered books [57931928], New York, NY, U.S.A.
3540646752 Brand New Ship Promptly.Please allow 8 to 14 Business Days to deliver you the book.We Ship via Dhl,FedEx,Ups,USPS.Customer Satisfaction Guaranteed. Bookseller Inventory.
3540646752 Brand New Ship Promptly.Please allow 8 to 14 Business Days to deliver you the book.We Ship via Dhl,FedEx,Ups,USPS.Customer Satisfaction Guaranteed. Bookseller Inventory.
2
Automated Deduction - CADE-15
DE PB NWISBN: 9783540646754 bzw. 3540646752, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.xiv, 450 S. XIV, 443 pp.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.xiv, 450 S. XIV, 443 pp.Versandfertig in 3-5 Tagen, Softcover.
3
Automated Deduction - CADE-15 (1998)
~EN PB NWISBN: 9783540646754 bzw. 3540646752, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence 1421) (1998)
DE USISBN: 9783540646754 bzw. 3540646752, in Deutsch, Springer, gebraucht.
Von Händler/Antiquariat, Zubal-Books [581], Cleveland, OH, U.S.A.
443 pp., Paperback, ex library, else text clean and binding tight.
443 pp., Paperback, ex library, else text clean and binding tight.
5
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence) (2008)
DE USISBN: 9783540646754 bzw. 3540646752, in Deutsch, Springer, gebraucht.
getbooks GmbH, [4040832].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
![9783540646754 - Kirchner, Hélène [Hrsg.] and Claude Kirchner: Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Artificial Intelligence Vol. 1421)](/c-9783540646754-0.jpg "9783540646754 - Kirchner, Hélène [Hrsg.] and Claude Kirchner: Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Artificial Intelligence Vol. 1421)")
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Artificial Intelligence Vol. 1421) (1998)
DE USISBN: 9783540646754 bzw. 3540646752, in Deutsch, Springer, gebraucht.
Petra Gros, [3076014].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…