Buy Used and New Artificial Intelligence Books

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783642027765

Format: Paperback (540 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Advanced Parallel Processing Technologies: 6th International Workshop, APPT 2005, Hong kong, China, October 27-28, 2005, Proceedings: 5th ... 4002 (Lecture Notes in Computer Science)

by Ming Xu,Jiannong Cao,Wolfgang Nejdl

ISBN 13: 9783540354673

Format: Paperback (544 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

The Mind in Action: Personal View of Cognitive Science (Psychology Library Editions: Cognitive Science)

by Alan Garnham

ISBN 13: 9780415008495

Format: Paperback (160 pages)
Publisher: Routledge
Published: 02 May 1991

Save for later

Convergence and Knowledge Processing in Multi-Agent Systems (Advanced Information and Knowledge Processing)

by Maria Chli,Philippe de Wilde

ISBN 13: 9781848820623

Format: Hardcover (160 pages)
Publisher: Springer
Published: 08 Jun 2009

Save for later

How Machines Think: General Introduction to Artificial Intelligence Illustrated in PROLOG

by Nigel Ford

ISBN 13: 9780471911395

Format: Illustrated (214 pages)
Publisher: Wiley–Blackwell
Published: 22 Apr 1987

Save for later

Genetic Algorithms (with CD ROM)

by Kim-Fung Man,Kit-Sang Tang,Sam Kwong

ISBN 13: 9781852330729

Format: Paperback (360 pages)
Publisher: Springer
Published: 30 Mar 1999

Save for later

Executive Guide to Business Success through Human-Centred Systems (Executive Guides)

by Andrew Ainger

ISBN 13: 9783540199298

Format: Paperback (192 pages)
Publisher: Springer
Published: 18 Oct 1995

Save for later

Uncertainty Reasoning for the Semantic Web I: ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers: 5327 (Lecture Notes in Computer Science)

by Paulo Cesar G. Da Costa

ISBN 13: 9783540897644

Format: Paperback (424 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

Artifical Intelligence for Human Computing: ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006 and Hyderabad, India, ... 4451 (Lecture Notes in Computer Science)

by Thomas S. Huang, Anton Nijholt, Maja Pantic, Alex Pentland

ISBN 13: 9783540723462

Format: Paperback (359 pages)
Publisher: Springer
Published: 31 May 2007

Save for later

Text, Speech and Dialogue: 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings: 5246 (Lecture Notes in Computer Science)

by Petr Sojka, Ale Horak, Ivan Kopecek, Pala Karel

ISBN 13: 9783540873907

Format: Paperback (667 pages)
Publisher: Springer
Published: 04 Sep 2008

Save for later

Entertainment Computing - ICEC 2007: 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings: 4740 (Lecture Notes in Computer Science)

by Lizhuang Ma

ISBN 13: 9783540748724

Format: Paperback (512 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later