Registros relacionados: Isabelle/HOL :
- Marcel und Isabelle : Die Zeit der Liebe /
- Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /
- Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
- Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /
- A Proof Theory for Description Logics /
- Proof, Computation and Agency : Logic at the Crossroads /