Order Total (1 Item Items):
Shipping Destination:
Theorem Proving Higher Order (218 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (218)
- 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
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (92)
- Not Print on Demand (173)
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.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 6.35
Also find Softcover
-
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.
More buying choices from other sellers on AbeBooks
New offers from £ 48.19
Used offers from £ 10.37
Also find Softcover
-
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science, 5170)
Published by Springer (edition 2008), 2008
ISBN 10: 3540710655 ISBN 13: 9783540710653
Language: English
Paperback. Condition: Good. 2008. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
More buying choices from other sellers on AbeBooks
New offers from £ 23.50
Used offers from £ 15.98
Also find Softcover
-
Condition: VeryGood. Well kept copy, tight and unmarked, little wear. Fast Shipping - Safe and Secure Bubble Mailer!
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 18.14
Also find Softcover
-
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Published by Cambridge University Press, 1993
ISBN 10: 0521441897 ISBN 13: 9780521441896
Language: English
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
More buying choices from other sellers on AbeBooks
New offers from £ 253.62
Used offers from £ 21.88
Also find Hardcover Softcover First Edition
-
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!
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 25.15
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 41.50
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 41.54
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 41.61
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.19
Used offers from £ 42.05
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 42.39
Also find Softcover
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
More buying choices from other sellers on AbeBooks
New offers from £ 48.19
Used offers from £ 44.07
Also find Softcover
-
Theorem Proving In Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)
Published by Springer
ISBN 10: 8120090004 ISBN 13: 9788120090002
Soft cover. Condition: New. ISBN: 9783540710653.
-
Condition: New.
-
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from £ 48.42
Used offers from £ 134
Also find Softcover
-
Condition: New. SUPER FAST SHIPPING.
-
Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 48.54
Used offers from £ 54.97
Also find Softcover
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
Language: English
Condition: New. SUPER FAST SHIPPING.
More buying choices from other sellers on AbeBooks
New offers from £ 56.17
Used offers from £ 138
Also find Softcover
-
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currency£ 11.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Theorem Proving In Higher Order Logics: 21St International Conference, Tphols 2008, Montreal, Canada, August 18 21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)
Published by Springer, 2008
Language: English
Soft cover. Condition: New. ISBN:9783540710653.
-
Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.
Published by Berlin: Springer., 1999
Language: English
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.
-
Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
Published by North Holland Publishing, 1993
ISBN 10: 0444898808 ISBN 13: 9780444898807
Language: English
Condition: Very Good. Very Good; Softcover; Light wear to the covers; Unblemished textblock edges; The endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); 0.8 lbs; Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.
More buying choices from other sellers on AbeBooks
New offers from £ 228.68
Used offers from £ 97.90
Also find Softcover
-
Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)
Published by North Holland Publishing, 1993
ISBN 10: 0444898808 ISBN 13: 9780444898807
Language: English
Condition: Like New. Fine/As New; Softcover; This book is brand new and still sealed in the publisher's original shrinkwrap; Corners are slightly "bumped" through the plastic; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Green covers with title in white lettering; 1993, North Holland Publishing; 588 pages; "Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)," by L.J.M. Claesen & M.J.C. Gordon.
