Order Total (1 Item Items):
Shipping Destination:
Pfenning Frank (78 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (78)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (60)
- As New, Fine or Near Fine (13)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (40)
- Not Print on Demand (55)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
-
-
-
Paperback. Condition: Brand New. 380 pages. 8.90x7.20x1.00 inches. In Stock.
-
Condition: As New. Unread book in perfect condition.
-
Logic Programming and Automated Reasoning
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1994
ISBN 10: 3540582169 ISBN 13: 9783540582168
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1994 ed.
-
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science, 4603)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science, 2830)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science, 4098)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Lecture Notes in Computer Science, 822)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
-
Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Term Rewriting And Applications : 17th International Conference, Rta 2006, Seatle Wa, USA, August 12-14, 2006 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 388.
-
Logic Programming and Automated Reasoning : 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback or Softback. Condition: New. Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. Book.
-
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)
Seller: Leserstrahl (Preise inkl. MwSt.), Oldenbüttel, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Fine. 2006. leichte Lagerspuren / minor wear---. nein.
-
Condition: New. pp. 436.
-
Condition: New. pp. 476.
-
Condition: New. pp. 538.
-
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings (Lecture Notes in Computer Science, No. 822)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 15 (SALE item)* 344 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
tapa dura. Condition: 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.
-
Paperback. Condition: Brand New. 1st edition. 397 pages. 9.25x6.25x1.00 inches. In Stock.
-
Paperback. Condition: Brand New. 2013 edition. 474 pages. 9.25x6.25x1.00 inches. In Stock.
-
Automated Deduction -- CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540735941 ISBN 13: 9783540735946
Paperback. Condition: Brand New. 1st edition. 522 pages. 9.25x6.00x1.25 inches. In Stock.
