Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Automated Theorem Proving - After 25 Years (Paperback) Loot Price: R3,267
Discovery Miles 32 670
Repayment Terms: R306 pm x 12*
Add to cart
Automated Theorem Proving - After 25 Years (Paperback): W. W Bledsoe, Donald W. Loveland

Automated Theorem Proving - After 25 Years (Paperback)

W. W Bledsoe, Donald W. Loveland

Series: Contemporary Mathematics

 (sign in to rate)
Loot Price R3,267 Discovery Miles 32 670 | Repayment Terms: R306 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

General

Imprint: American Mathematical Society
Country of origin: United States
Series: Contemporary Mathematics
Release date: December 1984
Editors: W. W Bledsoe • Donald W. Loveland
Dimensions: 171 x 252 x 14mm (L x W x T)
Format: Paperback
Pages: 360
ISBN-13: 978-0-8218-5027-5
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > General
LSN: 0-8218-5027-X
Barcode: 9780821850275

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners