Hochschulschrift
Human Oriented Proof Presentation: A Reconstructive Approach
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Saarbrücken, Univ. Diss., 1994
- Erschienen in
-
SEKI Report ; 94,07
- Schlagwort
-
Automatisches Beweisverfahren
Präsentation
Natürliche Sprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
- URN
-
urn:nbn:de:hbz:386-kluedo-3372
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:21 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Huang, Xiaorong
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (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