Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Bok Engelsk 2002
Utgitt | Berlin : Springer , c2002
|
---|---|
Omfang | XIII, 218 s.
|
Opplysninger | På omslaget: Tutorial
|
Emner | |
Dewey | |
ISBN | 3540433767
|
Utgitt | Berlin : Springer , c2002
|
---|---|
Omfang | XIII, 218 s.
|
Opplysninger | På omslaget: Tutorial
|
Emner | |
Dewey | |
ISBN | 3540433767
|