15 treff

Dewey-nr: 006.3/33
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings
European Conference on Planning
Bok Engelsk 2000 · Vis mer
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2000 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
TABLEAUX 2000
Bok Engelsk 2000 · Vis mer
Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceeedings
International Conference on Case-Based Reasoning
Bok Engelsk 1999 · Vis mer
Utilizing problem structure in planning : a local search approach
Jörg Hoffmann
Bok Engelsk 2003 · Vis mer
Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003 : proceedings
International Conference on Case-Based Reasoning
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
TYPES 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings
International Conference on Case-Based Reasoning
Bok Engelsk 2001 · Vis mer
Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
Bok Engelsk 2000 · Vis mer
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
TABLEAUX '99
Bok Engelsk 1999 · Vis mer
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
International Joint Conference on Qualitative and Quantitative Practical Reasoning
Bok Engelsk 1997 · Vis mer
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Schaub, Torsten
Bok Engelsk 1997 · Vis mer
Advances in case-based reasoning : third European workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings
EWCBR-96
Bok Engelsk 1996 · Vis mer
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
International Conference on Automated Deduction
Bok Engelsk · Vis mer