Buy Used and New Artificial Intelligence Books

Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)

by A. Cantini

ISBN 13: 9780444823069

Format: Illustrated (250 pages)
Publisher: Elsevier
Published: 14 Mar 1996

Save for later

Handbook of Practical Logic and Automated Reasoning

by John Harrison

ISBN 13: 9780521899574

Format: Hardcover (702 pages)
Publisher: Cambridge University Press
Published: 12 Mar 2009

Save for later

Logic for Applications (Texts in Computer Science)

by Anil Nerode,Richard A. Shore

ISBN 13: 9780387948935

Format: Illustrated (469 pages)
Publisher: Springer
Published: 01 Feb 1997

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

Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, Apweb 2007, and 8th International Conference on Web-age Information ... China, June 16-18, 2007, Proceedings: 4505

by Guozhu Dong,Xuemin Lin,Wei Wang

ISBN 13: 9783540724834

Format: Illustrated (922 pages)
Publisher: Springer
Published: 05 Jun 2007

Save for later

Modeling and Reasoning with Bayesian Networks

by Adnan Darwiche

ISBN 13: 9780521884389

Format: Illustrated (562 pages)
Publisher: Cambridge University Press
Published: 06 Apr 2009

Save for later

Cells and Robots: Modeling and Control of Large-size Agent Populations (Springer Tracts in Advanced Robotics): 32

by Dejan Lj. Milutinovic,Pedro U. Lima

ISBN 13: 9783540719816

Format: Hardcover (148 pages)
Publisher: Springer
Published: 11 Jun 2007

Save for later

Being There: Putting Brain, Body, and World Together Again (A Bradford Book)

by Andy Clark

ISBN 13: 9780262531566

Format: Illustrated (292 pages)
Publisher: MIT Press
Published: 05 Mar 1998

Save for later

Nano-Net: Third International ICST Conference, NanoNet 2008, Boston, MS, USA, September 14-16, 2008. Revised Selected Papers (Lecture Notes of the ... and Telecommunications Engineering)

by Maggie Xiaoyan Cheng

ISBN 13: 9783642024269

Format: Paperback (131 pages)
Publisher: Springer
Published: 02 Jul 2009

Save for later

Complexity of Constraints: An Overview of Current Research Themes: 5250 (Lecture Notes in Computer Science)

by Nadia Creignou

ISBN 13: 9783540927990

Format: Paperback (332 pages)
Publisher: Springer
Published: 13 Feb 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

Fundamentals of Resource Allocation in Wireless Networks: Theory and Algorithms: 3 (Foundations in Signal Processing, Communications and Networking)

by Slawomir Stanczak,Marcin Wiczanowski,Holger Boche

ISBN 13: 9783540793854

Format: Hardcover (456 pages)
Publisher: Springer
Published: 07 Jul 2009

Save for later