TY  - BOOK
AU  - Nipkow, Tobias
AU  - Paulson, Lawrence C
AU  - Wenzel, Markus
TI  - Isabelle/HOL : a proof assistant for higher-order logic
SN  - 9783540433767
SN  - 200202090
U1  - 006.3 NIP 
PY  - 2002///
CY  - Berlin ; New York
PB  - Springer
KW  - Automatic theorem proving
KW  - Computer logic
N1  - Includes bibliographical references (p. [209]-211) and index
ER  -