Automated reasoning with analytic tableaux and related methods international conference, Tableaux 2005, Koblenz, Germany, September 14 - 17, 2005 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday

Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings

Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers

Automated technology for verification and analysis second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings

Mathematical knowledge management third International Conference, MKM 2004, Białowieża, Poland, September 19 - 21, 2004 ; proceedings

Theorem proving in higher order logics 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Automated deduction - CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003 ; proceedings

Theorem proving in higher order logics 18th international conference, TPHOLs 2005, Oxford, UK, August 22 - 25, 2005 ; proceedings

Automated reasoning second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4 - 8, 2004 ; proceedings

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

Inhaltsverzeichnis

Automated deduction - Cade-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - 27, 2005 ; proceedings

Automated deduction in geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 ; revised papers

Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Theory and applications of relational structures as knowledge instruments COST Action 274, TARSKI ; revised papers