Automatic theorem proving - Congresses.
Overview
| Works: | 80 works in 20 publications in 20 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis : = third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis : = Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
by:
(Language materials, printed)
Mathematical knowledge management = third international conference, MKM 2004, Bia得wie蔰a, Poland, September 19-21, 2004 : proceedings /
by:
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(Language materials, printed)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(Language materials, printed)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Language materials, printed)
Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(Language materials, printed)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers/
by:
(Language materials, printed)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(Language materials, printed)
Automated deduction, CADE-19 = 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
by:
(Language materials, printed)
Logic for programming artificial intelligence and reasoning = 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
by:
(Language materials, printed)
Mathematical knowledge management = second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
by:
(Language materials, printed)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
by:
(Language materials, printed)
Mathematical knowledge management = third international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings /
by:
(Electronic resources)
Automated deduction in geometry = International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
by:
(Language materials, printed)
Automated deduction, CADE-14 = 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings /
by:
(Language materials, printed)
Computational logic and proof theory = 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /
by:
(Language materials, printed)
Compositionality = the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12 1997 : revised lectures /
by:
(Language materials, printed)
Theorem proving in higher order logics = 11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /
by:
(Language materials, printed)
Automated deduction in geometry = Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE-16 = 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
by:
(Language materials, printed)
Logic for programming and automated reasoning = 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
by:
(Language materials, printed)
Automated deduction - CADE-17 = 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
by:
(Language materials, printed)
Logic for programming and automated reasoning = 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers /
by:
(Language materials, printed)
Automated deduction in geometry = third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
by:
(Language materials, printed)
Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 14th international conference, TPHOLs 2001, Edinburgh, Scotland,UK, September 3-6, 2001 : proceedings /
by:
(Language materials, printed)
Artificial intelligence, automated reasoning, and symbolic computation = joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /
by:
(Language materials, printed)
Automated deduction-CADE-18 = 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
by:
(Language materials, printed)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Language materials, printed)
Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings /
by:
(Electronic resources)
Interactive theorem proving = 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 28 = 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I /
by:
(Electronic resources)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Theorem proving in higher order logics = 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(Language materials, printed)
Automated deduction, CADE-15 = 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
by:
(Language materials, printed)
Automated reasoning with analytic tableaux and related methods = International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
by:
(Language materials, printed)
Formal methods in computer-aided design = second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
by:
(Language materials, printed)
Proof theory in computer science = international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
by:
(Language materials, printed)
Theorem proving in higher order logics = 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
by:
(Language materials, printed)
Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings /
by:
(Electronic resources)
Automated deduction - CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
by:
(Electronic resources)
Automated reasoning with analytic tableaux and related methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings /
by:
(Electronic resources)
Automated technology for verification and analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings /
by:
(Electronic resources)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects