Cover Image

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Automated Deduction Montreal, Québec, SpringerLink (Online service)
Other Authors:	Schmidt, Renate A.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, [2009]
Series:	Lecture notes in computer science. Lecture notes in artificial intelligence ; 5663. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic machines > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
Published: (1999)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings /
Published: (2000)

Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
Published: (2003)

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
Published: (1998)

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
Published: (2002)

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Published: (2007)

Automated deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published: (1996)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings /
Published: (1994)

Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings /
Published: (2011)

Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.
Published: (1998)

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published: (1997)

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
Published: (1992)

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Published: (2007)

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Published: (2005)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
Published: (2000)

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
Published: (2002)

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /
Published: (2005)

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /
Published: (2007)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
Published: (2009)

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
Published: (1986)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
Published: (2000)

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
Published: (1988)

Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17 - 20, 2009 /
Published: (2009)

Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings /
Published: (2008)

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
Published: (2006)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /
Published: (2007)

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings /
Published: (2011)

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
Published: (1984)

Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)

Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings /
Published: (2008)

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Published: (1998)

Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings /
Published: (2011)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
Published: (2001)

Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings /
Published: (1999)

Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
Published: (2011)

Proof theory and automated deduction /
by: Goubault-Larrecq, Jean
Published: (1997)

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July, 1990 /
Published: (1990)

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
Published: (1982)

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
Published: (1984)

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
Published: (2004)