Frank pfenning (83 Ergebnisse)

Softcover

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

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Befriedigend

EUR 39,77

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 with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)

Pfenning, Frank [Editor]

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Gut

EUR 53,99

EUR 6,26 Versand

Versand innerhalb von USA

Anzahl: 1 verfügbar

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.0387582169 Ex-library paperback in very nice condition with the usual markings and attachments.

Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Gpce 200 (2003 Erfurt, Germany); Pfenning, Frank (EDT); Smaragdakis, Yannis

Zustand: Neu

EUR 58,13

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Generative Programming and Component Engineering : Second International Conference, Gpce 2003, Erfurt, Germany, September 2003 : Proceedings

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,13

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 9/12/2003, 2003

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,57

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 22-25, 2003, Proceedings. Book.

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Paperback or Softback)

Sprache: Englisch

Verlag: Springer 6/22/1994, 1994

Softcover

Anbieter: BargainBookStores, Grand Rapids, MI, USABargainBookStores

Verkäufer/-in mit 5 Sternen

0262519933 / 9780262519939

Zustand: Neu

EUR 60,57

Versand gratis

Versand innerhalb von USA

Anzahl: 5 verfügbar

Paperback or Softback. Zustand: New. Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. Book.

Types in Logic Programming

Frank Pfenning

Sprache: Englisch

Verlag: MIT Press, 1992

Softcover

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

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 48,49

EUR 15,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Brand New. 380 pages. 8.90x7.20x1.00 inches. In Stock.

Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 62,09

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Gpce 200 (2003 Erfurt, Germany); Pfenning, Frank (EDT); Smaragdakis, Yannis

Zustand: Neu

EUR 62,77

EUR 2,69 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Generative Programming and Component Engineering : Second International Conference, Gpce 2003, Erfurt, Germany, September 2003 : Proceedings

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 65,20

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Logic Programming and Automated Reasoning

Frank Pfenning

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1994

Softcover

Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 68,84

Versand gratis

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Paperback. Zustand: New. 1994 ed. This volume presents the proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the ship "Marshal Koshevoi" on the Dnieper near Kiev, Ukraine in July 1994. The LPAR conferences are held annually in the former Soviet Union and aimed at bringing together researchers interested in LP and AR.This proceedings contains the full versions of the 24 accepted papers evaluated by at least three referees ensuring a program of highest quality. The papers cover all relevant aspects of LP and AR ranging from theory to implementation and application.…

Term Rewriting And Applications : 17th International Conference, Rta 2006, Seatle Wa, USA, August 12-14, 2006 Proceedings

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 66,51

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science, 2830)

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 66,46

EUR 2,69 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Gpce 200 (2003 Erfurt, Germany); Pfenning, Frank (EDT); Smaragdakis, Yannis

Zustand: Neu

EUR 62,15

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Generative Programming and Component Engineering : Second International Conference, Gpce 2003, Erfurt, Germany, September 2003 : Proceedings

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 62,16

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Foundations of Software Science and Computation Structures : 16th International Conference, Fossacs 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 77,98

EUR 2,37 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Term Rewriting And Applications : 17th International Conference, Rta 2006, Seatle Wa, USA, August 12-14, 2006 Proceedings

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 62,29

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2008

Softcover

Anbieter: Leserstrahl (Preise inkl. MwSt.), Oldenbüttel, DeutschlandLeserstrahl (Preise inkl. MwSt.)

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Sehr gut

EUR 11,85

EUR 70,00 Versand

Versand von Deutschland nach USA

Anzahl: 1 verfügbar

Taschenbuch. Zustand: Fine. 2006. leichte Lagerspuren / minor wear---. nein.

Foundations of Software Science and Computation Structures : 16th International Conference, Fossacs 2013, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 68,27

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Sprache: Englisch

Verlag: Springer, 1994

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Gpce 200 (2003 Erfurt, Germany); Pfenning, Frank (EDT); Smaragdakis, Yannis

Zustand: Gebraucht - Wie neu

EUR 69,13

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Generative Programming and Component Engineering : Second International Conference, Gpce 2003, Erfurt, Germany, September 2003 : Proceedings

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 69,24

EUR 18,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Term Rewriting and Applications

Sprache: Englisch

Verlag: Springer, 2006

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 90,91

EUR 3,58 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 436.

Generative Programming and Component Engineering

Sprache: Englisch

Verlag: Springer, 2003

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 90,91

EUR 3,58 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 388.

Foundations of Software Science and Computation Structures

Sprache: Englisch

Verlag: Springer, 2013

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 91,20

EUR 3,58 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 476.

Types in logic programming

0262161311 / 9780262161312

Sprache: Englisch

Verlag: Cambridge Mass., 1992

Hardcover

Anbieter: Alcaná Libros, Madrid, M, SpanienAlcaná Libros

Verkäufer/-in mit 5 Sternen

3540735941 / 9783540735946

Zustand: Gebraucht - Gut

EUR 52,90

EUR 40,00 Versand

Versand von Spanien nach USA

Anzahl: 1 verfügbar

tapa dura. Zustand: Bien. Logic programming., types, DD 005.11 Cambridge Mass. London. 1992. 24cm. xviii,357p. Encuadernación en tapa dura de editorial ilustrada. Idioma Inglés. edited by Frank Pfenning. Logic programming. Logic programming series. Bibliography: p333-350. - Includes index . ISBN: 0262161311 (=2746274=) LF110. …

Automated Deduction - CADE-21

Sprache: Englisch

Verlag: Springer, 2007

Softcover

Anbieter: Books Puddle, Woodside, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Gpce 200 (2003 Erfurt, Germany)/ Pfenning, Frank/ Smaragdakis, Yannis/ Pfenning, Frank (Editor)

Zustand: Neu

EUR 92,58

EUR 3,58 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. pp. 538.

Generative Programming and Component Engineering: Second International Conference, Gpce 2003, Erfurt, Germany, September 2003 : Proceedings

Sprache: Englisch

Verlag: Springer Verlag, 2003

Softcover

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

Verkäufer/-in mit 5 Sternen

Pfenning, Frank (Edited by)

Zustand: Neu

EUR 84,20

EUR 15,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 397 pages. 9.25x6.25x1.00 inches. In Stock.

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Sprache: Englisch

Verlag: Springer, 2013

Softcover

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

Verkäufer/-in mit 5 Sternen

Pfenning, Frank|Smaragdakis, Yannis

Zustand: Neu

EUR 84,80

EUR 15,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2013 edition. 474 pages. 9.25x6.25x1.00 inches. In Stock.

Generative Programming and Component Engineering

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, 2003

Softcover

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

3540735941 / 9783540735946

Zustand: Neu

EUR 48,37

EUR 48,99 Versand

Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Deduction -- CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Pfenning, Frank (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2007

Softcover

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

Verkäufer/-in mit 5 Sternen