KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings /

KI-94: advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18 - 23, 1994 ; proceedings /
Published: (1994)

PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 : proceedings /
Published: (1996)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Published: (2002)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
Published: (1998)

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 /
Published: (1992)

Handbook of automated reasoning /
Published: (2001)

Artificial intelligence III--methodology, systems, applications : proceedings of the Third International Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA '88) Varna, Bulgaria, 20-23 September, 1988 /
Published: (1988)

Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers /
Published: (1993)

Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings /
Published: (1995)

Deduction systems in artificial intelligence /
Published: (1989)

Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AI*IA '93, Torino, Italy, October 26-28, 1993 : proceedings /
Published: (1993)

Advances in artificial intelligence : 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998 : proceedings /
Published: (1998)

Trends in artificial intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October 29-31, 1991 : proceedings /
Published: (1991)

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /
Published: (2002)

KI-98 : advances in artificial intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998 : proceedings /
Published: (1998)

KI 2006 : advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : proceedings /
Published: (2007)

KI 2002 : advances in artificial intelligence : 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002 : proceedings /
Published: (2002)

Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence /
Published: (1988)

KI-98 : advances in artificial intelligence : 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998 : proceedings /
Published: (1998)

The collected works of Larry Wos /
by: Wos, Larry
Published: (2000)

Automated reasoning : essays in honor of Woody Bledsoe /
Published: (1991)

A many-sorted calculus based on resolution and paramodulation /
by: Walther, Christoph
Published: (1987)

Automated development of fundamental mathematical theories /
by: Quaife, Art
Published: (1992)

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published: (2006)

KI 2003 : advances in artificial intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003 : proceedings /
Published: (2003)

Methodologies for intelligent systems, 3 : proceedings of the Third International Symposium on Methodologies for Intelligent Systems held October 12-15, 1988, in Turin, Italy /
Published: (1988)

Advances in artificial intelligence : 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998 : proceedings /
Published: (1998)

KI-97 : advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings /
Published: (1997)

Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings /
Published: (1996)

KI-97, advances in artificial intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997 : proceedings /
Published: (1997)

KI 2002 : advances in artificial intelligence : 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002 : proceedings /
Published: (2002)

KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings /
Published: (2004)

Handbook of automated reasoning /
Published: (2001)