- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Zugl.: Saarbrücken, Univ. Diss., 1994
- Bibliographic citation
-
SEKI Report ; 94,07
- Keyword
-
Automatisches Beweisverfahren
Präsentation
Natürliche Sprache
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-3372
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Huang, Xiaorong
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
Human oriented proof presentation : a reconstructive approach
Human oriented proof presentation : a reconstructive approach
Proof presentation
Proof Presentation Based on Proof Plans
OOPCC : Object-Oriented Proof-Carrying Code
Heidegger and modern art : a reconstructive approach
Using a lecture-oriented flipped classroom in a proof-oriented advanced mathematics course
Urethral reconstructive surgery
Reconstructive microvascular surgery
Reconstructive integral geometry
The Reconstructive Toolbox
A constraint oriented proof methodology based on modal transition systems
Human oriented proof presentation : a reconstructive approach
Human oriented proof presentation : a reconstructive approach
Proof presentation
Proof Presentation Based on Proof Plans
OOPCC : Object-Oriented Proof-Carrying Code
Heidegger and modern art : a reconstructive approach
Using a lecture-oriented flipped classroom in a proof-oriented advanced mathematics course
Urethral reconstructive surgery
Reconstructive microvascular surgery
Reconstructive integral geometry
The Reconstructive Toolbox
A constraint oriented proof methodology based on modal transition systems
Human oriented proof presentation : a reconstructive approach
Human oriented proof presentation : a reconstructive approach
Proof presentation
Proof Presentation Based on Proof Plans
OOPCC : Object-Oriented Proof-Carrying Code
Heidegger and modern art : a reconstructive approach
Using a lecture-oriented flipped classroom in a proof-oriented advanced mathematics course
Urethral reconstructive surgery
Reconstructive microvascular surgery
Reconstructive integral geometry
The Reconstructive Toolbox