Order Total (1 Item Items):
Shipping Destination:
Frank Pfenning (80 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (80)
- 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 (7)
- 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 (42)
- Not Print on Demand (54)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: 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.
-
-
-
Paperback or Softback. Condition: New. Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. Book.
-
-
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. 380 pages. 8.90x7.20x1.00 inches. In Stock.
-
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. 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.
-
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.
-
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. 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.
-
Condition: New. pp. 436.
-
Condition: New. pp. 476.
-
Condition: New. pp. 538.
-
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.
