Softwareentwicklung mit Logik höherer Stufe
Subtitle: eine Anwendung von Theoriededuktion auf interaktives Beweisen
By: von Franz Weber
Contributors: Universität Karlsruhe
Series: [STONE system documentation]
Publisher: FZI
Published: 1993
Place of publication: Karlsruhe
Language: ger
Number of pages: 245
Notes: Thesis (doctoral)--Universität Karlsruhe, 1993.