Order Total (1 Item Items):
Shipping Destination:
Automated Theorem Proving After by Bledsoe (12 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- 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 (6)
- As New, Fine or Near Fine (1)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (12)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (12)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Paperback. Condition: Very Good.
-
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Published by Amer Mathematical Society, New York
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
First Edition
Softcover. Condition: Very Good. No Jacket. First Edition. Vol. 29 of Contemporary Mathematics(Automated Theorem Proving: After 25 Years). Creased upper corner of the front cover, otherwise the covers look great. The binding is tight. The title page is stamped. The interior pages are clean and unmarked. Electronic delivery tracking will be issued free of charge.
-
Automated theorem proving. After 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983.
Published by Providence, American Math. Soc, 1985
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
US$ 12.65
Convert currencyUS$ 18.70 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. Reprint. 360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. A00507 082185027X Sprache: Englisch Gewicht in Gramm: 550.
-
Automated Theorem Proving: after 25 Years
Published by American Math Soc, Province RI, 1985
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Paperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages.
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Published by American Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
US$ 35.74
Convert currencyUS$ 42.01 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Gut. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g.
-
Automated Theorem Proving : After 25 Years
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 84.15
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: New.
-
Automated Theorem Proving : After 25 Years
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 89.83
Convert currencyUS$ 20.26 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Automated Theorem Proving After 25 Years
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
US$ 98.91
Convert currencyUS$ 33.77 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 360 pages. 10.25x7.00x1.00 inches. In Stock.
-
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
US$ 84.19
Convert currencyUS$ 55.38 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: NEW.
-
Automated Theorem Proving: After 25 Years
Published by American Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.14
Convert currencyUS$ 16.01 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 3 working days. 510.
-
Automated Theorem Proving After 25 Years
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
US$ 123.41
Convert currencyUS$ 33.77 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 360 pages. 10.25x7.00x1.00 inches. In Stock.
-
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Published by Amer Mathematical Society, 1984
ISBN 10: 082185027X ISBN 13: 9780821850275
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 200.93
Convert currencyUS$ 16.18 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketCondition: New. In.
