Items related to Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics):...
Search results for Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics):...
Seller Image
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
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. 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. Seller Inventory # 2516293
Quantity: 1 available
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
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. Condition: Gut. 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
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
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 4 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
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
Seller Image
Automated Theorem Proving : After 25 Years
Published by
Amer Mathematical Society, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19136892
Quantity: 2 available
Seller Image
Automated Theorem Proving
Published by
American Mathematical Society, US, 1984
ISBN 10: 082185027X
ISBN 13: 9780821850275
New
Paperback
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9780821850275
Quantity: 1 available