Automatic theorem proving - Congresses.
概要
| 作品: | 80 作品在 20 項出版品 20 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis : = third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical knowledge management = third international conference, MKM 2004, Bia得wie蔰a, Poland, September 19-21, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction, CADE-19 = 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
by:
(書目-語言資料,印刷品)
Computational logic and proof theory = 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE-16 = 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Proof theory in computer science = international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 14th international conference, TPHOLs 2001, Edinburgh, Scotland,UK, September 3-6, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(書目-電子資源)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
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:
(書目-語言資料,印刷品)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers/
by:
(書目-語言資料,印刷品)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming artificial intelligence and reasoning = 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical knowledge management = second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
by:
(書目-語言資料,印刷品)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
(書目-語言資料,印刷品)
Automated deduction, CADE-14 = 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction, CADE-15 = 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods in computer-aided design = second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Compositionality = the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12 1997 : revised lectures /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 11th international conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming and automated reasoning = 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE-17 = 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming and automated reasoning = 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
by:
(書目-語言資料,印刷品)
Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction-CADE-18 = 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
by:
(書目-語言資料,印刷品)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題