Automatic theorem proving - Congresses.

Automated Reasoning with Analytic Tableaux and Related Methods :International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (書目-電子資源)

Automated Technology for Verification and Analysis :Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (書目-電子資源)

Logic for Programming, Artificial Intelligence, and Reasoning :12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings by: (書目-電子資源)

Automated reasoning4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / by: (書目-語言資料,印刷品)

Automated deduction, CADE-1919th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings / by: (書目-電子資源)

Logic for programming artificial intelligence and reasoning10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / by: (書目-電子資源)

Mathematical knowledge managementsecond international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / by: (書目-電子資源)

Automated deduction in geometry4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / by: (書目-電子資源)

Automated reasoningsecond international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysisSecond International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / by: (書目-電子資源)

Mathematical knowledge managementthird international conference, MKM 2004, Biaowieza, Poland, September 19-21, 2004 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / by: (書目-電子資源)

Types for proofs and programsInternational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / by: (書目-電子資源)

Proof technology and computation by: (書目-電子資源)

Automated deduction - CADE-2222nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / by: (書目-電子資源)

Algorithmic decision theoryfirst international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (書目-電子資源)

Automated deduction in geometryInternational Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / by: (書目-電子資源)

Automated deduction, CADE-1414th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings / by: (書目-電子資源)

Computational logic and proof theory5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / by: (書目-電子資源)

Automated deduction, CADE-1515th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsInternational Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings / by: (書目-電子資源)

Compositionalitythe significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12 1997 : revised lectures / by: (書目-電子資源)

Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings / by: (書目-電子資源)

Automated deduction in geometrySecond International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / by: (書目-電子資源)

Automated deduction - CADE-1616th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings / by: (書目-電子資源)

Logic for programming and automated reasoning6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / by: (書目-電子資源)

Automated deduction - CADE-1717th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / by: (書目-電子資源)

Logic for programming and automated reasoning7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / by: (書目-電子資源)

Types for proofs and programsinternational workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers / by: (書目-電子資源)

Automated deduction in geometrythird international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers / by: (書目-電子資源)

Automated reasoningFirst International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings / by: (書目-電子資源)

Proof theory in computer scienceinternational seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics14th international conference, TPHOLs 2001, Edinburgh, Scotland,UK, September 3-6, 2001 : proceedings / by: (書目-電子資源)

Artificial intelligence, automated reasoning, and symbolic computationjoint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / by: (書目-電子資源)

Automated deduction-CADE-1818th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / by: (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / by: (書目-電子資源)

Types for proofs and programsInternational Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / by: (書目-電子資源)

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Interactive theorem provingFirst International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / by: (書目-電子資源)

Automated deduction in geometry7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / by: (書目-電子資源)

Automated deductionCADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (書目-電子資源)

Interactive theorem provingsecond international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (書目-電子資源)

Algorithmic decision theorysecond international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Automated deduction in geometry8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / by: (書目-電子資源)

Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (書目-電子資源)

Interactive theorem provingThird International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (書目-電子資源)

Interactive theorem proving5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Automated reasoning7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : proceedings / by: (書目-電子資源)

Automated deduction in geometry10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / by: (書目-電子資源)

Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (書目-電子資源)

Interactive theorem proving6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings / by: (書目-電子資源)

Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (書目-電子資源)

Interactive theorem proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: (書目-電子資源)

Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (書目-電子資源)

Interactive theorem proving9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / by: (書目-電子資源)

Automated reasoning9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2727th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / by: (書目-電子資源)

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part II / by: (書目-電子資源)

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part I / by: (書目-電子資源)

Automated deduction - CADE 2828th International Conference on Automated Deduction, virtual event, July 12-15, 2021 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings / by: (書目-電子資源)

Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings / by: (書目-電子資源)

Automated deduction - CADE 2929th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings / by: (書目-電子資源)

Automated reasoning with analytic tableaux and related methods32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part II / by: (書目-電子資源)

Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part I / by: (書目-電子資源)

Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part I / by: (書目-電子資源)

Automated reasoning12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.Part II / by: (書目-電子資源)

Automated technology for verification and analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.Part I / by: (書目-電子資源)

Automated technology for verification and analysis22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.Part II / by: (書目-電子資源)