Felty amy (41 Ergebnisse)

Softcover

Anbieter: -OnTimeBooks-, Phoenix, AZ, USA-OnTimeBooks-

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Befriedigend

EUR 39,05

Versand gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped…

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,62

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,36

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 60,72

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings

Sprache: Englisch

Verlag: Springer, 1997

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,68

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 60,50

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings

Sprache: Englisch

Verlag: Springer, 1997

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 63,47

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science, 7406)

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,14

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275)

Sprache: Englisch

Verlag: Springer, 1997

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,14

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,14

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beringer, Lennart

Sprache: Englisch

Verlag: Springer 2012-07, 2012

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Amy P. Felty, Aart Middeldorp

Zustand: Neu

EUR 57,68

EUR 18,10 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2015-08-31, 2015

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 57,86

EUR 18,10 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

Paperback. Zustand: New.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,66

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings

Sprache: Englisch

Verlag: Springer, 1997

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,13

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Felty, Amy P. and Aart (Eds.) Middeldorp:

Zustand: Neu

EUR 60,85

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence, Band 9195)

Sprache: Englisch

Verlag: Springer International Publishing, 2015

Softcover

Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Sehr gut

EUR 26,90

EUR 49,90 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Broschiert Broschiert. Zustand: Sehr gut. XXVIII, 640 Seiten, Lecture Notes in Artificial Intelligence, Band 9195. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesen…

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97, Murray Hill, Nj, USA, August 19-22, 1997 : Proceedings

Sprache: Englisch

Verlag: Springer, 1997

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 67,30

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving : Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer, 2012

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 67,30

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: Books Puddle, New York, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Beringer, Lennart (Editor)/ Felty, Amy (Editor)

Zustand: Neu

EUR 86,56

EUR 3,46 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 596.

Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, USA, August 13-15, 2012. Proceedings

Sprache: Englisch

Verlag: Springer Verlag, 2012

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Felty, Amy P. (Editor)/ Middeldorp, Aart (Editor)

Zustand: Neu

EUR 81,60

EUR 14,61 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 430 pages. 9.20x6.10x0.98 inches. In Stock.

Automated Deduction: 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings

Sprache: Englisch

Verlag: Springer Verlag, 2015

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 85,33

EUR 14,61 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 613 pages. 9.25x6.10x1.42 inches. In Stock.

Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Elsa L. Gunter

Sprache: Englisch

Verlag: Springer, Springer, 1997

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,49

EUR 62,70 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from…

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Amy P. Felty

Sprache: Englisch

Verlag: Springer, Springer, 2015

Softcover

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 53,49

EUR 64,98 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully revie…

Automated Deduction - CADE-25 | 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Amy P. Felty (u. a.)

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: preigu, Osnabrück, Deutschlandpreigu

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 50,40

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 5 verfügbar

Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 127,58

EUR 17,53 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science (9195))

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books

Verkäufer/-in mit 4 Sternen

Zustand: Gebraucht - Wie neu

EUR 117,96

EUR 29,21 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Automated Deduction : 25th International Conference on Automated Deduction Cade-25 Berlin, Germany August 1-7 2015, Proceedings

Sprache: Englisch

Verlag: Springer, 2015

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 147,97

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Interactive Theorem Proving (eng)

Beringer, Lennart

Sprache: Englisch

Verlag: Springer, 2012

Softcover
Print-on-Demand

Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 46,22

EUR 6,80 Versand

Versand von Italien nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: new. Questo è un articolo print on demand.

Automated Deduction - CADE-25

Sprache: Englisch

Verlag: Springer, 2015

Softcover
Print-on-Demand

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,04

Versand gratis

Versand innerhalb von USA

Anzahl: 10 verfügbar

Zustand: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.

Theorem Proving in Higher Order Logics

Sprache: Englisch

Verlag: Springer, 1997

Softcover
Print-on-Demand

Anbieter: Basi6 International, Irving, TX, USABasi6 International

Verkäufer/-in mit 5 Sternen