Items related to Automated Theorem Proving: After 25 Years (Contemporary...
- PublisherAmer Mathematical Society
- Publication date1984
- ISBN 10 082185027X
- ISBN 13 9780821850275
- BindingPaperback
- LanguageEnglish
- Number of pages360
- EditorLoveland Donald W.
Buy New
View this item
US$ 119.54
Shipping:
US$ 13.08
From United Kingdom to U.S.A.
Search results for Automated Theorem Proving: After 25 Years (Contemporary...
Stock Image
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Published by
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Paperback
Seller: Basement Seller 101, Cincinnati, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Seller Inventory # 201229092
Quantity: 1 available
Stock Image
Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Published by
Amer Mathematical Society, New York
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Softcover
First Edition
Seller: Alien Bindings, BALTIMORE, MD, U.S.A.
Seller rating 5 out of 5 stars
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. Seller Inventory # 09705
Quantity: 1 available
Stock Image
Automated Theorem Proving: After 25 Years
Published by
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. 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. Seller Inventory # E-573-929
Quantity: 1 available
Stock Image
Automated Theorem Proving: after 25 Years
Published by
American Math Soc, Province RI, 1985
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Paperback
Seller: T. A. Borden Books, Olney, MD, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Second Printing. Near Fine+; Contemporary Math V29; 360 pages. Seller Inventory # 23600
Quantity: 1 available
Stock Image
Automated Theorem Proving: After 25 Years (Contemporary Mathematics).
Published by
American Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Broschiert
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
Broschiert. Contemporary Mathematics, Volume 29. Zust: Gutes Exemplar. Cover leicht verschmutzt. Mit Vorbesitzereintrag. IX, 360 Seiten, Englisch 498g. Seller Inventory # 492702
Quantity: 1 available
Stock Image
Automated Theorem Proving After 25 Years
Published by
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 360 pages. 10.25x7.00x1.00 inches. In Stock. Seller Inventory # zk082185027X
Quantity: 1 available
Stock Image
Automated Theorem Proving
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9780821850275
Quantity: 2 available
Seller Image
Automated Theorem Proving : After 25 Years
Published by
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19136892-n
Quantity: 2 available
Stock Image
Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics)
Published by
American Mathematical Society 1984-12-15, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-GRD-9780821850275
Quantity: 2 available
Stock Image
AUTOMATED THEOREM PROVING AFTER 25 YEAR
Published by
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
New
Softcover
Seller: Speedyhen, London, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # NW9780821850275
Quantity: 2 available