Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Isabelle
Home
Publications
Isabelle
Isabelle
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1994
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/bfb0030541
Abstract
No abstract available
Keywords
HÖHERSTUFIGE LOGIK
ISABELLE
SCHLIESSEN
SYNTAX
AUTOMATED REASONING
AUTOMATISCHE VERIFIKATION
COMPUTER
DOCUMENTATION
LOGIC
MATHEMATICS
PROOF
SEQUENT CALCULUS
SET THEORY
TYPE THEORY
VERIFICATION
Cited by 510 articles