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

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Handbook of Automated Reasoning, Volume I (Hardcover) Loot Price: R5,574
Discovery Miles 55 740
Repayment Terms: R522 pm x 12*
Add to cart
Handbook of Automated Reasoning, Volume I (Hardcover): Alan J.A. Robinson, Andrei Voronkov

Handbook of Automated Reasoning, Volume I (Hardcover)

Alan J.A. Robinson, Andrei Voronkov

Series: Handbook of Automated Reasoning

 (sign in to rate)
Loot Price R5,574 Discovery Miles 55 740 | Repayment Terms: R522 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

General

Imprint: North-Holland
Country of origin: United States
Series: Handbook of Automated Reasoning
Release date: June 2001
First published: 2001
Editors: Alan J.A. Robinson • Andrei Voronkov
Dimensions: 240 x 165 x 52mm (L x W x T)
Format: Hardcover
Pages: 996
ISBN-13: 978-0-444-82949-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN: 0-444-82949-0
Barcode: 9780444829498

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