Order Total (1 Item Items):
Shipping Destination:
Theorem Proving Higher Order (213 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (213)
- 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
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (213)
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 (105)
- Not Print on Demand (163)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science, 1869)
Seller: St Vincent de Paul of Lane County, Eugene, OR, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. paperback 100% of proceeds go to charity! Acceptable reading copy with obvious signs of use, wear, and/or cosmetic issues. Item is complete and remains readable despite notable condition issues.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. Condition: Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. pp. 338 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: New. pp. 338.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condition: New. pp. 338.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
X, 393 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2152. Sprache: Englisch.
-
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1994
ISBN 10: 3540584501 ISBN 13: 9783540584506
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1995
ISBN 10: 3540602755 ISBN 13: 9783540602750
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Soft cover. Condition: New. ISBN: 9783540710653.
-
-
-
Paperback or Softback. Condition: New. Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings. Book.
-
Condition: As New. Unread book in perfect condition.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
