[BibTeX] [RIS]
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
Type of publication: Book
Citation: NipPauWen02
Year: 2002
Publisher: Springer-Verlag Heidelberg
URL: http://www.link.springer.de/li...
Userfields: bdsk-url-1={http://www.link.springer.de/link/service/series/0558/tocs/t2283.htm}, project={I4-SPIN}, status={Other},
Keywords:
Authors Nipkow, T.
Paulson, L. C.
Wenzel, M.
Attachments
    Notes
      Topics