Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Papers
Nipkow et al., 2002
Links
[hdl.handle.net]
Tools
Export citation
×
Format
BibTeX
@misc{Nipkow2002, author = {Nipkow, Tobias and Paulson, Lawrence C. and Wenzel, Markus}, month = {jan}, title = {Isabelle/HOL : A Proof Assistant for Higher-Order Logic}, year = {2002} }
Export citation
Search in Google Scholar
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Published in 2002 by
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
Full text:
Unavailable
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload