Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
Save for later
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
by Charles Petzold
ISBN 13: 9780470229057
Format: Paperback (384 pages) Publisher: Wiley Published: 30 May 2008
Reasoning About Knowledge (A Bradford Book)
by Ronald Fagin,Joseph Y Halpern,Yoram Moses,Moshe Y Vardi
ISBN 13: 9780262562003
Format: Illustrated (544 pages) Publisher: MIT Press Published: 06 Feb 2004
Natural Computing in Computational Finance: 100 (Studies in Computational Intelligence)
by Anthony Brabazon,Michael O'Neill
ISBN 13: 9783540774761
Format: Hardcover (316 pages) Publisher: Springer Published: 09 May 2008
What Computers Still Can't Do: A Critique of Artificial Reason (The MIT Press)
by Hubert L Dreyfus
ISBN 13: 9780262540674
Format: Paperback (408 pages) Publisher: MIT Press Published: 30 Oct 1992
Data Mining: Foundations and Practice (Studies in Computational Intelligence)
by Tsau Young Lin, Ying Xie, Anita Wasilewska
ISBN 13: 9783540784876
Format: Hardcover (580 pages) Publisher: Springer Published: 20 Aug 2008
Adaptive Filtering and Change Detection (Electrical & Electronics Engr)
by Gustafsson
ISBN 13: 9780471492870
Format: Illustrated (516 pages) Publisher: John Wiley & Sons Published: 27 Jul 2000
Intelligent Engineering Systems and Computational Cybernetics
by J. A. Tenreiro Machado, Béla Pátkai, Imre J. Rudas
ISBN 13: 9781402086779
Format: Hardcover (462 pages) Publisher: Springer Published: 11 Feb 2009
Nonlinear Kalman Filtering for Force-Controlled Robot Tasks (Springer Tracts in Advanced Robotics): 19
by Tine Lefebvre,Herman Bruyninckx,Joris de Schutter
ISBN 13: 9783540280231
Format: Hardcover (286 pages) Publisher: Springer Published: 20 Sep 2005
The Robot: The Life Story of a Technology (Greenwood Technographies)
by Lisa Nocks
ISBN 13: 9780313331688
Format: Illustrated (224 pages) Publisher: Greenwood Press Published: 28 Feb 2007
Pattern Recognition Algorithms for Data Mining: 3 (Chapman & Hall/CRC Computer Science & Data Analysis)
by Sankar K. Pal, Pabitra Mitra
ISBN 13: 9781584884576
Format: Illustrated (280 pages) Publisher: Chapman and Hall/CRC Published: 27 May 2004
Intelligent Systems: Modeling, Optimization, and Control (Automation and Control Engineering Series)
by Yung C. Shin, Chengying Xu
ISBN 13: 9781420051766
Format: Hardcover (456 pages) Publisher: CRC Press Published: 22 Dec 2008