Buy Used and New Artificial Intelligence Books

Unifying Themes in Complex Systems: Vol VI: Proceedings of the Sixth International Conference on Complex Systems: 6 (New England Complex Systems Institute Book)

by N/A

ISBN 13: 9783540850809

Format: Paperback (630 pages)
Publisher: Springer
Published: 04 Mar 2010

Save for later

Artificial Intelligence: A New Synthesis

by N/A

ISBN 13: 9781558605350

Format: Paperback (500 pages)
Publisher: Morgan Kaufmann
Published: 17 Apr 1998

Save for later

Handbook of Knowledge Representation (Foundations of Artificial Intelligence)

by

ISBN 13: 9780444522115

Format: Hardcover (1034 pages)
Publisher: Elsevier Science
Published: 15 Dec 2007

Save for later

Generating Abstraction Hierarchies: An Automated Approach to Reducing Search in Planning (The Springer International Series in Engineering and Computer Science)

by Craig A. Knoblock

ISBN 13: 9780792393108

Format: Hardcover (188 pages)
Publisher: Springer
Published: 31 Jan 1993

Save for later

Sensitivity Analysis for Neural Networks (Natural Computing Series)

by Daniel S. Yeung,Ian Cloete,Daming Shi,Wing W. Y. Ng

ISBN 13: 9783642025310

Format: Hardcover (86 pages)
Publisher: Springer
Published: 18 Nov 2009

Save for later

Differential Evolution: A Practical Approach to Global Optimization (Natural Computing Series)

by Kenneth Price,Rainer M. Storn,Jouni A. Lampinen

ISBN 13: 9783540209508

Format: Hardcover (538 pages)
Publisher: Springer
Published: 13 Dec 2005

Save for later

Game Theoretic Problems in Network Economics and Mechanism Design Solutions (Advanced Information and Knowledge Processing)

by Y. Narahari,Dinesh Garg,Ramasuri Narayanam,Hastagiri Prakash

ISBN 13: 9781848009370

Format: Hardcover (274 pages)
Publisher: Springer
Published: 12 Feb 2009

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

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

Model Driven Engineering and Ontology Development

by Dragan Gaevic,Dragan Djuric,Vladan Devedic

ISBN 13: 9783642002816

Format: Hardcover (378 pages)
Publisher: Springer
Published: 18 May 2009

Save for later

Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)

by Kofi Kissi Dompere

ISBN 13: 9783540880844

Format: Hardcover (266 pages)
Publisher: Springer
Published: 20 Mar 2009

Save for later

The Social Semantic Web

by John G. Breslin,Alexandre Passant,Stefan Decker

ISBN 13: 9783642011719

Format: Hardcover (300 pages)
Publisher: Springer
Published: 19 Oct 2009

Save for later