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 > Knowledge-based systems / expert systems

Buy Now

Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Paperback, 2002 ed.) Loot Price: R1,764

Discovery Miles 17 640

Repayment Terms: R165 pm x 12*

Add to cart

Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002...

Automated Deduction - CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Paperback, 2002 ed.)

Andrei Voronkov

Series: Lecture Notes in Artificial Intelligence, 2392

(sign in to rate)

Loot Price R1,764 Discovery Miles 17 640 | Repayment Terms: R165 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.The 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions. The book offers topical sections on description logics and the semantic Web, proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC, combination and decision procedures, logical frameworks, model checking, equational reasoning, and proof theory.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 2392
Release date:	July 2002
First published:	2002
Editors:	Andrei Voronkov
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	540
Edition:	2002 ed.
ISBN-13:	978-3-540-43931-8
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-540-43931-5
Barcode:	9783540439318