Proofs, programs and executable specifications in higher order logic

Berghofer, Stefan

Link zu diesem Datensatz

https://d-nb.info/969627661

Titel

Proofs, programs and executable specifications in higher order logic

Art des Inhalts

Monographie

Verfassangaben

Stefan Berghofer

Autor

Berghofer, Stefan

Zeitliche Einordnung

Erscheinungsdatum: 2003

Umfang/Format

Online-Ressource

Online

https://nbn-resolving.org/urn:nbn:de:bvb:91-diss2003102017123

Sprache

eng

Schlagwörter

• Automatisches Beweisverfahren
• Framework
• Isabelle
• Logische Programmierung / Softwarespezifikation
• Automatisches Beweisverfahren / Logische Programmierung / Konstruktive Logik

Anmerkungen

München, Techn. Univ., Diss., 2003

Stand

11.12.2025 18:41

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

Verlagstext laden