English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Modular Reasoning in Isabelle
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
2000
Conference Paper
Title
Modular Reasoning in Isabelle
Author(s)
Kammüller, F.
Mainwork
Automated deduction - CADE-17
Conference
International Conference on Automated Deduction 2000
DOI
10.1007/10721959_7
Language
English
FIRST
Keyword(s)
Modules, Isabelle, Theorem Proving
