Description:
Amer Mathematical Society, 1984-06-01. Paperback. Very Good.
Stock Photo: Cover May Be Different
Automated Theorem Proving: After 25 Years (Contemporary Mathematics) Paperback - 1984
by W. W. Bledsoe
Details
- Title Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
- Author W. W. Bledsoe
- Binding Paperback
- Edition Second Printing
- Pages 360
- Language ENG
- Publisher Amer Mathematical Society, Province RI
- Date 1984
- ISBN 9780821850275
More Copies for Sale
Stock Photo: Cover May Be Different
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
by Bledsoe, W. W.; Loveland, Donald W. [Editor]
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780821850275 / 082185027X
- Quantity Available
- 1
- Seller
-
Cincinnati, Ohio, United States
- Item Price
-
$11.40$3.50 shipping to USA
Show Details
Item Price
$11.40
$3.50
shipping to USA
Stock Photo: Cover May Be Different
Contemporary Mathematics : Volume 29. Automated Theorem Proving: After 25 Years.
by Bledsoe, W. W. W., Donald (Editor) Loveland
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Edition
- First Edition
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780821850275 / 082185027X
- Quantity Available
- 1
- Seller
-
BALTIMORE, Maryland, United States
- Item Price
-
$19.99$4.99 shipping to USA
Show Details
Description:
New York: Amer Mathematical Society, 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
Item Price
$19.99
$4.99
shipping to USA
Stock Photo: Cover May Be Different
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
by W. W. Bledsoe; Editor-Donald W. Loveland
- Used
- good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780821850275 / 082185027X
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$22.13FREE shipping to USA
Show Details
Description:
Amer Mathematical Society, 1984-06. Paperback. Good.
Item Price
$22.13
FREE shipping to USA
Stock Photo: Cover May Be Different
Automated Theorem Proving: after 25 Years
by Bledsoe, W. W. And D. W. Loveland, Eds
- Used
- Paperback
- Condition
- Used
- Edition
- Second Printing
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780821850275 / 082185027X
- Quantity Available
- 1
- Seller
-
Olney, Maryland, United States
- Item Price
-
$40.00$5.95 shipping to USA
Show Details
Description:
Province RI: American Math Soc. 1985. Second Printing. Paperback. 082185027X . Near Fine+; Contemporary Math V29; 360 pages .
Item Price
$40.00
$5.95
shipping to USA
Stock Photo: Cover May Be Different
Automated Theorem Proving: After 25 Years
by W. W Bledsoe
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780821850275 / 082185027x
- Quantity Available
- 2
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$197.28$12.50 shipping to USA
Show Details
Description:
Paperback / softback. New.
Item Price
$197.28
$12.50
shipping to USA