| Automata Implementation - 2001 - 183 pages |
| Automata Implementation - 2001 - 183 pages |
| Automata Implementation - 1999 - 245 pages |
| Automata Implementation - 1999 - 245 pages |
| Automata implementation by Derick Wood, Sheng Yü - 1998 - 251 pages |
| Automata, Languages and Programming - 1998 - 932 pages |
| Automata, Languages and Programming - 1998 - 932 pages |
| Automated analysis of legal texts by Simona Binazzi - 1986 - 938 pages |
| Automated Database Applications Testing by Rana Farid Mikhail, Donald J. Berndt, Abraham Kandel - 2010 - 195 pages |
| Automated Deduction - CADE-11 - 1992 - 793 pages |
| Automated Deduction - Cade-13 - 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 - 1998 - 443 pages |
| Automated Deduction - CADE-15 - 1998 - 443 pages |
| Automated Deduction - CADE-16 - 1999 - 429 pages |
| Automated Deduction - CADE-16 - 1999 - 429 pages |
| Automated Deduction - CADE-16 - 1999 - 429 pages |
| Automated Deduction - CADE-16 - 1999 - 429 pages |
| Automated Deduction - CADE-17 - 2000 - 519 pages |
| Automated Deduction - CADE-17 - 2000 - 519 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 - 2000 - 299 pages |
| Automated Deduction in Classical and Non-Classical Logics - 2000 - 299 pages |
| Automated Deduction in Geometry - 2001 - 325 pages |
| Automated Deduction in Geometry - 2001 - 325 pages |
| Automated Deduction in Geometry - 2001 - 325 pages |
| Automated Deduction in Geometry - 1999 - 287 pages |
| Automated Deduction in Geometry - 1999 - 287 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 Nanohandling by Microrobots - 2007 - 346 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 - 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 - 2000 - 441 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 - 2000 - 441 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 - 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 - 373 pages |
| Automated Theorem Proving by Monroe Newborn - 2001 - 231 pages |
| Automated theorem proving by Donald W. Loveland - 1978 - 405 pages |
| Automatic Ambiguity Resolution in Natural Language Processing by Alexander Franz - 1996 - 155 pages |
| Automatic Autocorrelation and Spectral Analysis by Petrus M.T. Broersen - 2006 - 298 pages |
| Automatic Diatom Identification by Hans Du Buf - 2002 - 316 pages |
| Automatic Generation of Computer Animation by Ruqian Lu, Songmao Zhang - 2002 - 380 pages |
| Automatic Generation of Computer Animation by Ruqian Lu, Songmao Zhang - 2002 - 380 pages |
| Automatic Indexing and Abstracting of Document Texts by Marie-Francine Moens - 2000 - 284 pages |
| Automatic Indexing and Abstracting of Document Texts by Marie-Francine Moens - 2000 - 284 pages |
| Automatic Speech Recognition by Kai-Fu Lee - 1988 - 224 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 |
| Autonome Mobile Systeme 2005 - 2005 - 332 pages |
| Autonome Mobile Systeme 2007 - 2007 - 348 pages |
| Autonome Mobile Systeme 2009 - 2009 - 278 pages |
| Autonomic networks by Dominique Gaïti - 2007 - 322 pages |
| Autonomous Agents and Multi-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, Christopher Rouff, Jay Karlin, Michael Hinchey, James 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, Christopher Rouff, Jay Karlin, Michael Hinchey, James 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 - 2005 - 303 pages |
| Autonomous Intelligent Vehicles by Hong Cheng - 2011 - 152 pages |
| Autonomous Robots and Agents - 2007 - 265 pages |
| Autonomous Search by Youssef Hamadi, Eric Monfroy, Frèdèric Saubion - 2012 - 308 pages |
| Autonomous Systems: Developments and Trends - 2011 - 406 pages |
| Average Time Complexity of Decision Trees by Igor Chikalov - 2011 - 99 pages |
| Axiomatic Fuzzy Set Theory and Its Applications by Xiaodong Liu, Witold Pedrycz - 2009 - 514 pages |
| Axioms For Lattices And Boolean Algebras by Ranganathan Padmanabhan, Sergiu Rudeanu - 2008 - 216 pages |
| Aûtomated reasoning by Larry Wos - 1988 - 319 pages |