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

Artificial Intelligence : A Modern Approach

by Stuart J Russell, Peter Norvig

ISBN 13: 9780133601244

Format: Paperback (912 pages)
Publisher: Pearson Education
Published: 01 Nov 1994
Other Format: Paperback

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

Neural Networks: An Introduction (Physics of Neural Networks)

by Berndt Müller

ISBN 13: 9783540602071

Format: Illustrated (348 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Intelligent Knowledge Based Systems: An Introduction (Aspects of Information Technology S.)

by W.J. Black

ISBN 13: 9780442317720

Format: Paperback (176 pages)
Publisher: Van Nostrand Reinhold (International) University & College
Published: 31 Oct 1986

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

Advances in Information Retrieval: 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642201608

Format: Paperback (800 pages)
Publisher: Springer
Published: 06 Apr 2011

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

Prolog Programming (Artificial Intelligence Texts)

by Masoud Yazdani

ISBN 13: 9780632012466

Format: Paperback (208 pages)
Publisher: Alfred Waller Ltd
Published: 01 Aug 1990

Save for later

Understanding Open Source and Free Software Licensing

by Andrew M St Laurent

ISBN 13: 9780596005818

Format: Illustrated (207 pages)
Publisher: O′Reilly
Published: 16 Aug 2004

Save for later