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

Artificial Intelligence and Symbolic Computation - 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Paperback, 2006 ed.) Loot Price: R1,609

Discovery Miles 16 090

Repayment Terms: R151 pm x 12*

Add to cart

Artificial Intelligence and Symbolic Computation - 8th International Conference, AISC 2006, Beijing, China, September 20-22,...

Artificial Intelligence and Symbolic Computation - 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Paperback, 2006 ed.)

Jaques Calmet, Tetsuo Ida, Dongming Wang

Series: Lecture Notes in Artificial Intelligence, 4120

(sign in to rate)

Loot Price R1,609 Discovery Miles 16 090 | Repayment Terms: R151 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.

The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 4120
Release date:	September 2006
First published:	2006
Editors:	Jaques Calmet • Tetsuo Ida • Dongming Wang
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	269
Edition:	2006 ed.
ISBN-13:	978-3-540-39728-1
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-39728-0
Barcode:	9783540397281