Tactical theorem proving in program verification
Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Stickel, Mark E. 1990 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1382397992
- Titel
-
Tactical theorem proving in program verification
- Art des Inhalts
- Monographie
- Verfassangaben
- M. Heisel, Wolfgang Reif, W. Stephan ; Herausgeber: Mark E. Stickel
- Autor(en)
-
- Heisel, M.
- Reif, Wolfgang
- Stephan, W.
- Stickel, Mark E.
- Verlag
- Augsburg : Universität Augsburg [1990] - Berlin : Springer [1990]
- Jahr
- Erscheinungsdatum: 1990
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/3-540-52885-7_83
- Online
- https://doi.org/10.1007/3-540-52885-7_83
- Sprache
- eng
- Anmerkungen
-
In: 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990; proceedings, S. 117-131
- Stand
- 05.12.2025 09:18
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
