Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)
by Chin-Liang Chang,Richard Char-Tung Lee
ISBN 13: 9780121703509
Format: Illustrated (331 pages) Publisher: Academic Press Published: 15 Jun 1973
Save for later
Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles
by Zhihua Qu
ISBN 13: 9781848823242
Format: Hardcover (344 pages) Publisher: Springer Published: 19 Feb 2009
Quantum Interaction: Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642008337
Format: Paperback (315 pages) Publisher: Springer Published: 09 Mar 2009
Knowledge Acquisition: Approaches, Algorithms and Applications: Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642017148
Format: Paperback (243 pages) Publisher: Springer Published: 25 May 2009
Transactions on Computational Science V: Special Issue on Cognitive Knowledge Representation (Lecture Notes in Computer Science / Transactions on Computational Science)
ISBN 13: 9783642020964
Format: Paperback (237 pages) Publisher: Springer Published: 25 May 2009
User Modeling, Adaptation, and Personalization: 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642022463
Format: Paperback (488 pages) Publisher: Springer Published: 08 Jun 2009
Computer-Mediated Social Networking: First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2009, Revised Selected Papers: ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642022753
Format: Paperback (201 pages) Publisher: Springer Published: 25 May 2009
Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642022814
Format: Paperback (378 pages) Publisher: Springer Published: 25 May 2009
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642027338
Format: Paperback (173 pages) Publisher: Springer Published: 10 Jul 2009
Human Centered Design: First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642028052
Format: Paperback (1112 pages) Publisher: Springer Published: 01 Jul 2009
System-Ergonomic Design of Cognitive Automation: Dual-Mode Cognitive Design of Vehicle Guidance and Control Work Systems (Studies in Computational Intelligence)
by Reiner Onken,Axel Schulte
ISBN 13: 9783642031342
Format: Hardcover (384 pages) Publisher: Springer Published: 23 Feb 2010
Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642033377
Format: Paperback (412 pages) Publisher: Springer Published: 20 Jul 2009