Home Book reviews
Author field first Title field first Classic page
Used Book Memo Saved Search New Book Memo
Blank new search Keep last search terms Advanced blank new page Advanced/classic keep search terms Classic blank new search
Contact
☰

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

34 titles, showing 1-34 sort by AUTHOR ASC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
1. Automated Theorem Proving: after 25 Years Buy it!

Save Show this book only

title size:
Bledsoe W. W. And D. W. Loveland Eds
author size:
USD
40.00
price size:
T. A. Borden Books /Biblio
dealer size:
Province RI: American Math Soc. Date: 1985. Second Printing. Paperback. 082185027X . Near Fine+; Contemporary Math V29; 360 pages . 1985. American Math Soc ISBN 082185027X 9780821850275 [US]
description size:
2. Contemporary Mathematics:Volume 29. Automated Theorem Proving: After 25 Years. Buy it!

Save Show this book only

Bledsoe W. W. W. Donald Editor Loveland
author size:
USD
19.99
price size:
Alien Bindings /Biblio
dealer size:
New York: Amer Mathematical Society, Date: 1984. First Edition. Paperback. Very Good/No dust jacket. 9.7 x 6.6 x 0.7 inches. 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. Contemporary Mathematics 1984. Amer Mathematical Society ISBN 082185027X 9780821850275 [US]
description size:
3. Automated Theorem Proving: After 25 Years Contemporary Mathematics Buy it!

Save Show this book only

Bledsoe W. W.; Loveland Donald W. Editor
author size:
USD
11.40
price size:
Basement Seller 101 /Biblio
dealer size:
Amer Mathematical Society, Date: 1984-06-01. Paperback. Very Good. 1984. Amer Mathematical Society ISBN 082185027X 9780821850275 [US]
description size:
4. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

Bledsoe, W. W. (Editor), and Loveland, Donald (Editor), and American Mathematical Society
author size:
USD
226.32
price size:
Booksplease via Alibris /Alibris
dealer size:
American Mathematical Society 1984 Unabridged. Trade paperback New. Trade paperback (US). 360 p. Contemporary Mathematics,, 29.
description size:
5. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

Bledsoe, W. W. (Editor), and Loveland, Donald (Editor), and American Mathematical Society
author size:
USD
183.12
price size:
Ria Christie Books via Alibris /Alibris
dealer size:
American Mathematical Society 1984 Unabridged. Trade paperback New. Trade paperback (US). 360 p. Contemporary Mathematics,, 29.
description size:
6. Bledsoeauto Theo Prov Conm 29 P Contemporary Mathematics After 25 Years Buy it!

Save Show this book only

Bledsoe, W. W. And D. W. Loveland, Eds
author size:
USD
141.68
price size:
Paperbackshop International via Alibris /Alibris
dealer size:
American Mathematical Society 12/30/1984 12: 00: 00 AM Softcover PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
description size:
7. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
4.00
price size:
HPB-Red via Alibris /Alibris
dealer size:
Amer Mathematical Society 1984 Unabridged. Paperback 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!
description size:
8. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.; Loveland, Donald W. [Editor]
author size:
USD
12.00
price size:
Basement Seller 101 via Alibris /Alibris
dealer size:
Amer Mathematical Society 1984-06-01 Unabridged. Paperback Very Good
description size:
9. Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

Bledsoe, W. W.; W., Donald (Editor) Loveland
author size:
USD
22.49
price size:
Alien Bindings via Alibris /Alibris
dealer size:
New York Amer Mathematical Society 1984 1 Softcover Very good 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. 360 pages. Contemporary Mathematics.
description size:
10. Automated Theorem Proving: after 25 Years Buy it!

Save Show this book only

Bledsoe, W. W. And D. W. Loveland, Eds
author size:
USD
40.00
price size:
T. A. Borden Books /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Math Soc, Province RI] Softcover Near Fine+; Contemporary Math V29; 360 pages
[Olney, MD, U.S.A.] [Publication Year: 1985]
description size:
11. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
90.20
price size:
GoldBooks /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover New Copy. Customer Service Guaranteed
[Denver, CO, U.S.A.] [Publication Year: 1984]
description size:
12. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
90.08
price size:
GoldenWavesOfBooks /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover New. Fast Shipping and good customer service
[Fayetteville, TX, U.S.A.] [Publication Year: 1984]
description size:
13. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
4.00
price size:
HPB-Red /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover 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!
[Dallas, TX, U.S.A.] [Publication Year: 1984]
description size:
14. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
15.97
price size:
Irish Booksellers /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item.
[Portland, ME, U.S.A.] [Publication Year: 1984]
description size:
15. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
179.64
price size:
Ria Christie Collections /AbebooksUK
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover In
[Uxbridge, United Kingdom] [Publication Year: 1984]
description size:
16. Automated Theorem Proving Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
193.08
price size:
moluna /AbebooksDE
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover
[Greven, Germany] [Publication Year: 1984]
Show/Hide image
description size:
17. Automated Theorem Proving Buy it!

Save Show this book only

Bledsoe, W. W.
author size:
USD
175.95
price size:
moluna /ZVAB
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover
[Greven, Germany] [Publication Year: 1984]
Show/Hide image
description size:
18. Automated Theorem Proving: After 25 Years (Contemporary Mathematics). Buy it!

Save Show this book only

Bledsoe, W. W.; Loveland, D. W.:
author size:
USD
32.59
price size:
Antiquariat Bernhardt /AbebooksDE
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g
[Kassel, Germany] [Publication Year: 1984]
description size:
19. Automated Theorem Proving: After 25 Years (Contemporary Mathematics). Buy it!

Save Show this book only

Bledsoe, W. W.; Loveland, D. W.:
author size:
USD
29.70
price size:
Antiquariat Bernhardt /ZVAB
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g
[Kassel, Germany] [Publication Year: 1984]
description size:
20. Automated Theorem Proving:After 25 Years Buy it!

Save Show this book only

Bledsoe, W. W.; Loveland, Donald W. (EDT)
author size:
USD
170.38
price size:
GreatBookPricesUK /AbebooksUK
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover
[Castle Donington, DERBY, United Kingdom] [Publication Year: 1984]
Show/Hide image
description size:
21. Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Buy it!

Save Show this book only

Bledsoe, W. W.; Loveland, Donald W. [Editor]
author size:
USD
12.00
price size:
Basement Seller 101 /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society] Softcover
[Cincinnati, OH, U.S.A.] [Publication Year: 1984]
description size:
22. Contemporary Mathematics:Volume 29. Automated Theorem Proving: After 25 Years. Buy it!

Save Show this book only

Bledsoe, W. W.; W., Donald (Editor) Loveland
author size:
USD
22.95
price size:
Alien Bindings /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: Amer Mathematical Society, New York] Softcover 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.
[BALTIMORE, MD, U.S.A.] [Publication Year: 1984]
description size:
23. BledsoeAuto Theo Prov Conm 29 P Contemporary Mathematics After 25 Years Buy it!

Save

N/A
author size:
USD
127.78
price size:
PBShop.store UK /AbebooksUK
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] New Book. Shipped from UK. Established seller since 2000.
[Fairford, GLOS, United Kingdom] [Publication Year: 1984]
description size:
24. Automated Theorem Proving Buy it!

Save Show this book only

W. W Bledsoe (Ed. )
author size:
USD
222.15
price size:
Kennys.ie via Alibris /Alibris
dealer size:
American Mathematical Society 1984 Unabridged. Trade paperback New . 1984. Paperback.....We ship daily from our Bookshop.
description size:
25. Automated Theorem Proving Buy it!

Save Show this book only

W. W Bledsoe (Ed.)
author size:
USD
204.42
price size:
Kennys Bookshop and Art Galleries Ltd. /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover . 1984. Paperback. . . . .
[Galway, GY, Ireland] [Publication Year: 1984]
description size:
26. Automated Theorem Proving Buy it!

Save Show this book only

W. W Bledsoe (Ed.)
author size:
USD
253.98
price size:
Kennys Bookstore /Abebooks
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover . 1984. Paperback. . . . . Books ship from the US and Ireland.
[Olney, MD, U.S.A.] [Publication Year: 1984]
description size:
27. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

W. W Bledsoe et Donald W. Loveland
author size:
USD
20.93
price size:
Ammareal /AbebooksFR
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1984. Tome 29. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations carit ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Different cover. Edition 1984. Volume 29. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 1984]
description size:
28. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

W. W Bledsoe et Donald W. Loveland
author size:
USD
19.08
price size:
Ammareal /ZVAB
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1984. Tome 29. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations carit ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Different cover. Edition 1984. Volume 29. Ammareal gives back up to 15% of this item's net price to charity organizations.
[Morangis, France] [Publication Year: 1984]
description size:
29. Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics) Buy it!

Save Show this book only

W. W Bledsoe,Donald W. Loveland
author size:
USD
167.22
price size:
Chiron Media /AbebooksUK
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society 1984-12-15] Softcover
[Wallingford, United Kingdom] [Publication Year: 1984]
description size:
30. Automated Theorem Proving:After 25 Years Buy it!

Save Show this book only

W. W Bledsoe
author size:
USD
199.57
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society Dez 1984] Softcover Neuware
[Einbeck, Germany] [Publication Year: 1984]
description size:
31. Automated Theorem Proving:After 25 Years Buy it!

Save Show this book only

W. W Bledsoe
author size:
USD
181.86
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society Dez 1984] Softcover Neuware
[Einbeck, Germany] [Publication Year: 1984]
description size:
32. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

W. W Bledsoe
author size:
USD
195.89
price size:
The Saint Bookstore /Biblio
dealer size:
Paperback / softback. New. ISBN 082185027x 9780821850275 [GB]
description size:
33. Automated Theorem Proving: After 25 Years Buy it!

Save Show this book only

W. W Bledsoe
author size:
USD
244.15
price size:
THE SAINT BOOKSTORE /AbebooksUK
dealer size:
ISBN10: 082185027X, ISBN13: 9780821850275, [publisher: American Mathematical Society] Softcover New copy - Usually dispatched within 4 working days.
[Southport, United Kingdom] [Publication Year: 1984]
description size:
34. Automated Theorem Proving: After 25 Years Contemporary Mathematics Buy it!

Save Show this book only

W. W. Bledsoe; Editor Donald W. Loveland
author size:
USD
22.13
price size:
Ergodebooks /Biblio
dealer size:
Amer Mathematical Society, Date: 1984-06. Paperback. Good. 1984. Amer Mathematical Society ISBN 082185027X 9780821850275 [US]
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.
240423070507874079