Isabelle
Subtitle: A Generic Theorem Prover (Lecture Notes in Computer Science)
Contributors: T. Nipkow (Contributor)
Edition: 1 edition
Publisher: Springer
Published: September 9, 1994
Language: eng
Format: Paperback
Number of pages: 321
ISBN-13: 9783540582441
Subjects: Computer architecture & logic design; Mathematical theory of computation; Mathematics; Logic; Logic Design; Programming - Software Development; Automatische Beweissysteme; Automatische Verifikation; Automatisches Schließen; Höherstufige Logik (HOL); Isabell-System; Isabelle system; Mathematics / Logic; automated reasoning; automated verification; higher-order logic; theorem power
First sentence: The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution.