7 treff

Nipkow Tobias
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002
Isabelle : a generic theorem prover
Lawrence C. Paulson ; with contributions ...
Bok Engelsk 1994
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
International Symposium on Formal Methods
Bok Engelsk 2006
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
IJCAR 2001
Bok Engelsk 2001
Term rewriting and all that
Franz Baader and Tobias Nipkow
Bok Engelsk 1998
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998
Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers
TYPES '93
Bok Engelsk 1994