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

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Buy Now

Automated Reasoning - Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Paperback, 2006 ed.) Loot Price: R3,201
Discovery Miles 32 010
Repayment Terms: R300 pm x 12*
Add to cart
Automated Reasoning - Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings...

Automated Reasoning - Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Paperback, 2006 ed.)

Ulrich Furbach, Natarajan Shankar

Series: Lecture Notes in Computer Science, 4130

 (sign in to rate)
Loot Price R3,201 Discovery Miles 32 010 | Repayment Terms: R300 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 4130
Release date: August 2006
First published: 2006
Editors: Ulrich Furbach • Natarajan Shankar
Dimensions: 229 x 152 x 35mm (L x W x T)
Format: Paperback
Pages: 688
Edition: 2006 ed.
ISBN-13: 978-3-540-37187-8
Categories: Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Promotions
LSN: 3-540-37187-7
Barcode: 9783540371878

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