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 | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|