Artificial Intelligence and Symbolic Computation - International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers (Paperback, 2001 ed.)

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000.The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 1930
Release date:	April 2001
First published:	2001
Editors:	John A. Campbell • Eugenio Roanes-Lozano
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	258
Edition:	2001 ed.
ISBN-13:	978-3-540-42071-2
Categories:	Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-42071-1
Barcode:	9783540420712

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!