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 '95, Torino, Italy, June 5-8, 1995 : selected papers /
Published: (1996)

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
Published: (2000)

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers /
Published: (1995)

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers /
Published: (1995)

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
Published: (1999)

Extensional constructs in intensional type theory /
by: Hofmann, Martin, 1965-
Published: (1997)

Proof theory and automated deduction /
by: Goubault-Larrecq, Jean
Published: (1997)

Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /
Published: (2003)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers /
Published: (2009)

Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /
Published: (1993)

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
Published: (2003)

The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /
Published: (1991)

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
Published: (1992)

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
Published: (2000)

Types for proofs and programs : international workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 ; selected papers /
Published: (1996)

Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers /
Published: (2007)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
Published: (2008)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
Published: (2003)

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

A proof theory for general unification /
by: Snyder, Wayne, 1955-
Published: (1991)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

From logic design to logic programming : theorem proving techniques and P-functions /
by: Snyers, Dominique, 1959-
Published: (1987)

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
by: Chlipala, Adam, 1981-
Published: (2013)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Published: (2002)

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Thirty-five years of automating mathematics /
Published: (2003)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Published: (1994)