-
Zusatztext
-
InhaltsangabeFoundations.- Getting started with Isabelle.- Advanced methods.- Basic use of Isabelle.- Proof management: The subgoal module.- Tactics.- Tacticals.- Theorems and forward proof.- Theories, terms and types.- Defining logics.- Syntax transformations.- Substitution tactics.- Simplification.- The classical reasoner.- Basic concepts.- First-order logic.- Zermelo-Fraenkel set theory.- Higher-order logic.- First-order sequent calculus.- Constructive Type Theory.- Syntax of Isabelle Theories.
-
Detailansicht
Isabelle
A Generic Theorem Prover, Lecture Notes in Computer Science 828
ISBN/EAN: 9783540582441
Umbreit-Nr.: 1434150
Sprache:
Englisch
Umfang: xix, 329 S.
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 28.07.1994