Isabelle/HOL : a proof assistant for higher order logic /
Nipkow, Tobias
Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. - Berlin : Springer, 2002. - xiii, 218 p. : il. ; 24 cm. - Lecture Notes in Computer Science, LNCS ; v. 2283 v. 2283 0302-9743 ; .
3540433767
Computer Logic.
Automatic theorem proving.
Mathematical logic.
Deducton and theorem proving.
Formal definitions and theory.
Specifying and verifying and reasoning about programs.
Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. - Berlin : Springer, 2002. - xiii, 218 p. : il. ; 24 cm. - Lecture Notes in Computer Science, LNCS ; v. 2283 v. 2283 0302-9743 ; .
3540433767
Computer Logic.
Automatic theorem proving.
Mathematical logic.
Deducton and theorem proving.
Formal definitions and theory.
Specifying and verifying and reasoning about programs.