Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351313
Format: Hardcover (346 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Save for later
Natural Computing: 2nd International Workshop on Natural Computing Nagoya, Japan, December 2007, Proceedings: 1 (Proceedings in Information and Communications Technology)
by Yasuhiro Suzuki,Masami Hagiya,Hiroshi Umeo,Andrew Adamatzky
ISBN 13: 9784431889809
Format: Paperback (264 pages) Publisher: Springer Published: 23 Dec 2008
Computational Science and High Performance Computing: No. 3: The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 to 27, ... Fluid Mechanics and Multidisciplinary Design)
by Egon Krause,Yurii I. Shokin,Nina Shokina
ISBN 13: 9783540690085
Format: Hardcover (280 pages) Publisher: Springer Published: 14 Aug 2008
Computational Intelligence and Intelligent Systems: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, ... in Computer and Information Science)
by Zhenhua Li
ISBN 13: 9783642049613
Format: Paperback (504 pages) Publisher: Springer Published: 05 Oct 2009
Moral Machines: Teaching Robots Right from Wrong
by Wendell Wallach,Colin Allen
ISBN 13: 9780199737970
Format: Paperback (288 pages) Publisher: OUP USA Published: 15 Jul 2010 Other Format: Illustrated
Handbook of Research on Agent-based Societies: Social and Cultural Interactions
by Goran Trajkovski,Samuel Gerald Collins
ISBN 13: 9781605662367
Format: Illustrated (470 pages) Publisher: IGI Global Published: 15 Feb 2009
Self-Organizing Systems: 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings (Lecture Notes in ... Networks and Telecommunications)
by Thrasyvoulos Spyropoulos, Karin Anna Hummel
ISBN 13: 9783642108648
Format: Paperback (269 pages) Publisher: Springer Published: 30 Nov 2009
Finding Out About: A Cognitive Perspective on Search Engine Technology and the WWW
by Richard K. Belew
ISBN 13: 9780521734462
Format: Paperback (384 pages) Publisher: Cambridge University Press Published: 14 Jul 2008
Silicon Second Nature: Culturing Artificial Life in a Digital World, Updated With a New Preface
by Stefan Helmreich
ISBN 13: 9780520208001
Format: Paperback (334 pages) Publisher: University of California Press Published: 25 Aug 2000
Mind Children: The Future of Robot and Human Intelligence
by H Moravec
ISBN 13: 9780674576186
Format: Paperback (222 pages) Publisher: Harvard University Press Published: 02 Jan 1990
HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer ... 5889 (Lecture Notes in Computer Science)
by Andreas Holzinger, Klaus Miesenberger
ISBN 13: 9783642103070
Format: Illustrated (576 pages) Publisher: Springer Published: 26 Oct 2009
Knowledge Representation for Health-Care Data, Processes and Guidelines: AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected ... 5943 (Lecture Notes in Computer Science)
by David Riano
ISBN 13: 9783642118074
Format: Illustrated (208 pages) Publisher: Springer Published: 23 Feb 2010