Automatic theorem proving -- Congresses
Resource Information
The concept Automatic theorem proving -- Congresses represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
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 Boston University Libraries.
- Label
- Automatic theorem proving -- Congresses
- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh2007101477
107 Items that share the Concept Automatic theorem proving -- Congresses
Context
Context of Automatic theorem proving -- CongressesSubject of
No resources found
No enriched resources found
- 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
- 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
- 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
- 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
- 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
- Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings
- Automated Reasoning : fourth International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings
- Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
- Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- 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 : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
- Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
- Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
- Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
- Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : 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-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
- Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
- Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
- Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
- Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
- Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
- Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : 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 : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : 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'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : 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 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : 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 : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings
- Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009, 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 : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : 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 : symposium proceedings, Brussels, November 13/14, 1990
- Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
- Formal Methods in Computer-Aided Design
- Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
- Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
- Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
- Geometric reasoning
- Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
- Higher order logic theorem proving and its applications : 7th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings
- Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
- KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : 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 : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : 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 : 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 : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings
- Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
- MERLIN'05 : September 30, 2005, Tallinn, Estonia : proceedings of the third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding
- 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
- Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
- Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
- Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
- Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
- Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
- Proof technology and computation
- Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
- Recent progress in the Boolean domain
- Symposium on Automatic Demonstration;
- 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 : 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 : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : 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 : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
- Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
- Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
- Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : 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 '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers
- Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : 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 : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : 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 2003, Torino, Italy, April 30 - May 4, 2003 : 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.bu.edu/resource/7VCEtTP9SA8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/7VCEtTP9SA8/">Automatic theorem proving -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</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.bu.edu/resource/7VCEtTP9SA8/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/7VCEtTP9SA8/">Automatic theorem proving -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>