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
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
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
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
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
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
Adventures in Ray Tracing
by A. Hermida
ISBN 13: 9781565295551
Format: Paperback (224 pages) Publisher: Que Published: 01 Oct 1993
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
Prolog Programming (Artificial Intelligence Texts)
by Masoud Yazdani
ISBN 13: 9780632012466
Format: Paperback (208 pages) Publisher: Alfred Waller Ltd Published: 01 Aug 1990
The Essentials of Artificial Intelligence
by Matthew L. Ginsberg
ISBN 13: 9781558603349
Format: Paperback (441 pages) Publisher: Morgan Kaufmann Publishers In Published: 01 Apr 1993
Artificial Intelligence (Tomorrow's science)
by Anne Rooney
ISBN 13: 9781841388687
Format: Hardcover (48 pages) Publisher: Chrysalis Children's Books Published: 20 Nov 2003