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

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Paperback, 2003 ed.) Loot Price: R1,834

Discovery Miles 18 340

Repayment Terms: R172 pm x 12*

Add to cart

Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2,...

Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Paperback, 2003 ed.)

Franz Baader

Series: Lecture Notes in Computer Science, 2741

(sign in to rate)

Loot Price R1,834 Discovery Miles 18 340 | Repayment Terms: R172 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2741
Release date:	July 2003
First published:	2003
Editors:	Franz Baader
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	512
Edition:	2003 ed.
ISBN-13:	978-3-540-40559-7
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-40559-3
Barcode:	9783540405597