Artificial Vision for Mobile Robots by Nicholas Ayache - 1991 - 342 pages |

Artificial War by Andrew Ilachinski - 2004 - 747 pages |

Aspects of artificial intelligence by James H. Fetzer - 1988 - 385 pages |

Aspects of Artificial Intelligence - 1988 - 385 pages |

Aspects of Automated Natural Language Generation by Robert Dale - 1992 - 308 pages |

Aspects of Soft Computing, Intelligent Robotics and Control by János Fodor, Janusz Kacprzyk - 2009 - 270 pages |

Associative Engines by Andy Clark - 1993 - 252 pages |

Associative Information Techniques - 1971 - 224 pages |

Associative information techniques by General Motors Corporation. Research Laboratories - 1971 - 224 pages |

Associative information techniques by General Motors Corporation. Research Laboratories - 1971 - 224 pages |

Associative networks by N. V. Findler - 1979 - 462 pages |

Associative networks by N. V. Findler - 1979 - 462 pages |

Associative networks by N. V. Findler - 1979 - 462 pages |

Automata implementation by Derick Wood, Sheng Yü - 1998 - 251 pages |

Automata, Languages and Programming - 1998 - 932 pages |

Automated analysis of legal texts by Simona Binazzi - 1986 - 938 pages |

Automated Deduction - CADE-11 - 1992 - 793 pages |

Automated Deduction - Cade-13 by Michael A. McRobbie, J.K. Slaney - 1996 - 764 pages |

Automated Deduction - Cade-13 - 1996 - 764 pages |

Automated Deduction - Cade-13 - 1996 - 764 pages |

Automated Deduction - CADE-14 - 1997 - 462 pages |

Automated Deduction - CADE-14 - 1997 - 462 pages |

Automated Deduction - CADE-15 - 1998 - 443 pages |

Automated Deduction - CADE-15 by Claude Kirchner, Helene Kirchner - 1998 - 441 pages |

Automated Deduction - CADE-15 - 1998 - 443 pages |

Automated Deduction - CADE-16 by Harald Ganzinger - 1999 - 428 pages |

Automated Deduction - CADE-16 - 1999 - 429 pages |

Automated Deduction - CADE-16 - 1999 - 429 pages |

Automated Deduction - CADE-17 by David McAllester - 2000 - 512 pages |

Automated Deduction - CADE-17 - 2000 - 519 pages |

Automated Deduction - CADE-17 - 2000 - 519 pages |

Automated Deduction CADE-12 - 1994 - 848 pages |

Automated Deduction CADE-12 - 1994 - 848 pages |

Automated Deduction in Classical and Non-Classical Logics by Ricardo Caferra, Gernot Salzer - 2000 - 297 pages |

Automated Deduction in Classical and Non-Classical Logics by Ricardo Caferra, Gernot Salzer - 2000 - 297 pages |

Automated Deduction in Geometry - 2001 - 325 pages |

Automated deduction in multiple-valued logics by Reiner Hähnle - 1993 - 172 pages |

Automated deduction, CADE-11 by Deepak Kapur - 1992 - 793 pages |

Automated deduction, CADE-14 by William McCune - 1997 - 462 pages |

Automated Development of Fundamental Mathematical Theories by Art Quaife - 1992 - 296 pages |

Automated Generation of Model-Based Knowledge-Acquisition Tools by Mark A. Musen - 1989 - 293 pages |

Automated Grammatical Error Detection by Claudia Leacock, Martin Chodorow, Michael Gamon - 2010 - 122 pages |

Automated Knowledge Acquisition by Sabrina Sestito, Tharam S. Dillon - 1994 - 378 pages |

Automated mathematical induction by Hantao Zhang - 1996 - 222 pages |

Automated Planning by Malik Ghallab, Dana Nau, Paolo Traverso - 2004 - 635 pages |

Automated Planning by Malik Ghallab, Dana Nau, Paolo Traverso - 2004 - 635 pages |

Automated Reasoning by Jürgen Giesl - 2010 - 534 pages |

Automated reasoning by Larry Wos - 1992 - 656 pages |

Automated reasoning by Robert S. Boyer - 1991 - 365 pages |

Automated Reasoning and Its Applications by Robert Veroff - 1997 - 247 pages |

Automated Reasoning with Analytic Tableaux and Related Methods by Roy Dyckhoff - 2000 - 440 pages |

Automated Reasoning with Analytic Tableaux and Related Methods by Roy Dyckhoff - 2000 - 440 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 2000 - 441 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 2000 - 441 pages |

Automated Reasoning with Analytic Tableaux and Related Methods by Neil V. Murray - 1999 - 323 pages |

Automated Reasoning with Analytic Tableaux and Related Methods by Neil V. Murray - 1999 - 323 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 1999 - 325 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 1999 - 325 pages |

Automated reasoning with analytic tableaux and related methods by Harrie de Swart - 1998 - 324 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 1997 - 373 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 1997 - 373 pages |

Automated Reasoning with Analytic Tableaux and Related Methods - 1997 - 372 pages |

Automated Theorem Proving by Monroe Newborn - 2001 - 231 pages |

Automated theorem proving by Donald W. Loveland - 1978 - 405 pages |

Automating instructional design, development, and delivery - 1994 - 266 pages |

Automating knowledge acquisition for expert systems - 1988 - 270 pages |

Automating language implementation by Kai Koskimies, Jukka Paakki - 1990 - 253 pages |

Automating language implementation by Kai Koskimies, Jukka Paakki - 1990 - 253 pages |

Automation of legal reasoning by Peter Wahlgren - 1992 - 435 pages |

Automation of reasoning - 1983 - 525 pages |

Automation of reasoning by Jörg H. Siekmann - 1983 - 637 pages |

Automation of reasoning - 1983 - 525 pages |

Automation of Reasoning: Classical papers on computational logic 1957-1966 - 1983 - 525 pages |

Automation of Reasoning: Classical papers on computational logic 1967-1970 - 1983 - 637 pages |

Automatische Segmentierung natürlichsprachiger Sätze by Klaus D. Schmitz - 1986 - 203 pages |

Automatischer Erwerb von linguistischem Wissen by Petra Barg - 1996 - 203 pages |

Autonomic networks by Dominique Gaïti - 2007 - 322 pages |

Autonomous Agents and Mult-Agent Systems by Jiming Liu - 2001 - 280 pages |

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems by Walt Truszkowski, Harold Hallock, Chris Rouff, Jay Karlin, Michael Hinchey, James L. Rash, Roy Sterritt - 2009 - 289 pages |

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems by Walt Truszkowski, Harold Hallock, Chris Rouff, Jay Karlin, Michael Hinchey, James L. Rash, Roy Sterritt - 2009 - 289 pages |

Autonomous and Intelligent Systems - 2011 - 418 pages |

Autonomous bidding agents by Michael P. Wellman, Amy Greenwald, Peter Stone - 2007 - 238 pages |

Autonomous Bidding Agents by Michael P. Wellman, Amy Greenwald, Peter Stone - 2007 - 238 pages |

Autonomous Intelligent Systems: Agents and Data Mining by Vladimir Gorodetsky, Jiming Liu, Victor A. Skormin - 2005 - 301 pages |

Autonomous Intelligent Vehicles by Hong Cheng - 2011 - 152 pages |

Autonomous Search by Youssef Hamadi, Eric Monfroy, Frèdèric Saubion - 2012 - 308 pages |

Autonomous Systems: Developments and Trends by Herwig Unger, Kyandoghere Kyamaky, Janusz Kacprzyk - 2011 - 406 pages |

Average Time Complexity of Decision Trees by Igor Chikalov - 2011 - 99 pages |

Aûtomated reasoning by Larry Wos - 1988 - 319 pages |