Isabelle/HOL : A Proof Assistant for Higher-Order Logic /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (edición)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín, Alemania : Springer, 2002, c2002
Schriftenreihe:	(Lecture Notes in Computer Science)
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

Ähnliche Einträge: Isabelle/HOL :

Vorschau
Marcel und Isabelle : Die Zeit der Liebe /
Vorschau
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /
Vorschau
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Vorschau
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /
Vorschau
A Proof Theory for Description Logics /
Vorschau
Proofs and Algorithms : An Introduction to Logic and Computability /
Vorschau
Proof, Computation and Agency : Logic at the Crossroads /
Vorschau
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Vorschau
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Vorschau
Perspectives in Modern Seismology /
Vorschau
Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic /
Vorschau
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
Vorschau
Microwave-Assisted Synthesis of Heterocycles /
Vorschau
Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Vorschau
Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
Vorschau
Foundations of higher mathematics : exploration and proof /