Isabelle/HOL : a proof assistant for higher-order logic

Author(s)

• Nipkow, Tobias
• Paulson, Lawrence C.
• Wenzel, Markus

Bibliographic Information

Isabelle/HOL : a proof assistant for higher-order logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

（Lecture notes in computer science, 2283）

Springer, c2002

Note

Includes bibliographies (p. [209]-211) and index

"Tutorial"--cover

Details

• NCID: BA56377991
• ISBN:
  • 3540433767
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xiii, 218 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279