Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Vydáno: (2005)

Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997. Proceedings
Vydáno: (1997)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002 : proceedings
Vydáno: (2002)

Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings
Vydáno: (1999)

First-order logic and automated theorem proving
Autor: Fitting, Melvin, 1942-
Vydáno: (1996)

Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Vydáno: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
Vydáno: (2011)

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Vydáno: (2015)

Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Vydáno: (2013)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno: (2009)

Automated reasoning with analytic tableaux and related methods : 14th international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
Vydáno: (2005)

Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Vydáno: (2007)

Higher Order Logic Theorem Proving and Its Applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings
Vydáno: (1995)

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000. Proceedings
Vydáno: (2000)

Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997. Proceedings
Vydáno: (1997)

Higher Order Logic Theorem Proving and Its Applications : 7. international workshop Valletta, Malta, September 19-22, 1994. Proceedings
Vydáno: (1994)

Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996. Proceedings
Vydáno: (1996)

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999. Proceedings
Vydáno: (1999)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
Vydáno: (2003)

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998. Proceedings
Vydáno: (1998)

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA USA, August 20-23, 2002 : proceedings
Vydáno: (2002)

Higher Order Logic Theorem Proving and Its Applications : 6. International Workshop, HUG '93 Vancouver, B.C., Canada, August 11- 13, 1993. Proceedings
Vydáno: (1994)

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Vydáno: (2009)

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Vydáno: (2007)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
Vydáno: (2001)

Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Vydáno: (2008)

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Vydáno: (2004)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings
Vydáno: (2007)

Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
Vydáno: (2010)

Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Vydáno: (2015)

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Vydáno: (2012)

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
Vydáno: (2011)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Vydáno: (2005)

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
Vydáno: (2014)

Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno: (2013)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings
Vydáno: (2005)