Automated Theorem Proving: after 25 Years

Bledsoe, W. W. And D. W. Loveland, Eds

ISBN 10: 082185027X ISBN 13: 9780821850275

Published by American Math Soc, Province RI, 1985

Language: English

Condition: Used Soft cover

Save for Later

Sold by T. A. Borden Books, Olney, MD, U.S.A.

AbeBooks Seller since October 20, 1998

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Price: US$ 40.00 Convert Currency

US$ 6.25 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Near Fine+; Contemporary Math V29; 360 pages.

Seller Inventory # 23600

Contact seller

Report this item

Bibliographic Details

Title

Automated Theorem Proving: after 25 Years

Publisher

American Math Soc, Province RI

Publication Date

1985

Language

English

ISBN 10

082185027X

ISBN 13

9780821850275

Binding

Paperback

Edition

Second Printing.

Seller catalogs

About this title

Synopsis

Automated Theorem Proving Automated Theorem Proving

"About this title" may belong to another edition of this title.

Store Description

25,000+ items on line. In business since 1987. Core focus: better academic titles in all fields--scarce and rare. Several specialized collections-- Argentine history, European linguistics, Spanish literature and humanities, and others. We have many collectable titles as well. We are open by appointment and easy to browse by subject on ABE. Orders are sent out within a day, always packed in hard cardboard.

Visit Seller's Storefront

Seller's business information

T. A. Borden Books
MD, U.S.A.

Sale & Shipping Terms

Terms of Sale

Books returnable with notice.

Shipping Terms

Orders usually ship on the following business day. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 6.25	US$ 11.90

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.