Automatic theorem proving -- Congresses
Resource Information
The concept Automatic theorem proving -- Congresses represents the subject, aboutness, idea or notion of resources found in Sydney Jones Library, University of Liverpool.
The Resource
Automatic theorem proving -- Congresses
Resource Information
The concept Automatic theorem proving -- Congresses represents the subject, aboutness, idea or notion of resources found in Sydney Jones Library, University of Liverpool.
- Label
- Automatic theorem proving -- Congresses
111 Items that share the Concept Automatic theorem proving -- Congresses
Context
Context of Automatic theorem proving -- CongressesSubject of
No resources found
No enriched resources found
- Algorithmic decision theory : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009, proceedings
- Algorithmic decision theory : second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings
- Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
- Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5-10, 1998 Proceedings
- Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 Proceedings
- Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
- Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
- Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers
- Automated Deduction in Geometry : Second International Workshop, ADG'98 Beijing, China, August 1-3, 1998 Proceedings
- Automated Deduction in Geometry : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25-27, 2000 Revised Papers
- Automated Deduction-CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13-17, 1997 Proceedings
- Automated Deduction-CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27-30, 2002 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 2000, St Andrews, Scotland, UK, July 3-7, 2000. Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 - August 1, 2002 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003 Rome, Italy, September 9-12, 2003 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont--̉Mousson, France, May 13-16, 1997 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99 Saratoga Springs, NY, USA, June 7-11, 1999 Proceedings
- Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings
- Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
- Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings
- Automated deduction -- CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
- Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised papers
- Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers
- Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
- Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
- Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings
- Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
- Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
- Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
- Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
- Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings
- Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings
- Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
- Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
- Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings
- Automated reasoning with analytic tableaux and related methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings
- Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, BrasÃlia, Brazil, September 25-28, 2017, Proceedings
- Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
- Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
- Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
- Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
- Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
- Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
- Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
- Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
- Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
- Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
- Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings
- Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
- Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
- Automated theorem proving : after 25 years
- Compositionality: The Significant Difference : International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
- Computational Logic and Proof Theory : 5th Kurt Gd̲el Colloquium, KGC '97 Vienna, Austria, August 25-29, 1997 Proceedings
- Formal Methods in Computer-Aided Design
- Formal Methods in Computer-Aided Design : Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
- IV Higher Order Workshop, Banff, 1990
- Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings
- Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings
- Interactive theorem proving : 8th International Conference, ITP 2017, BrasÃlia, Brazil, September 26-29, 2017, Proceedings
- 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
- Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
- Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings
- Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
- Logic for Programming and Automated Reasoning : 6th International Conference, LPAR'99 Tbilisi, Georgia, September 6-10, 1999 Proceedings
- Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3-7, 2001 Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14-18, 2002 Proceedings
- Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
- Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 Proceedings
- Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowie?za, Poland, September 19-21, 2004 Proceedings
- Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
- Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
- Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
- Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings
- Proof technology and computation
- Recent progress in the Boolean domain
- Symposium on Automatic Demonstration, held at Versailles/France, December, 1968
- Theorem Proving in Higher Order Logics
- Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings
- Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98 Canberra, Australia September 27-October 1, 1998 Proceedings
- Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs' 99 Nice, France, September 14-17, 1999 Proceedings
- Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings
- Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20-23, 2002 Proceedings
- Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
- Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
- Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings
- Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings
- Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009
- Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009
- Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8-12, 2000 Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES' 98 Kloster Irsee, Germany, March 27-31, 1998 Selected Papers
- Types for Proofs and Programs : Third International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
- Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers
- Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
- Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
- Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/gWg-Rs_TC8Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/gWg-Rs_TC8Q/">Automatic theorem proving -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Automatic theorem proving -- Congresses
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/resource/gWg-Rs_TC8Q/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/gWg-Rs_TC8Q/">Automatic theorem proving -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>