Hochschulschrift
Proof profiles : characteristic clause sets and proof transformations
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783836470070
- Dimensions
-
22 cm
- Extent
-
VI, 113 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Hergestellt on demand
Zugl.: Wien, Techn. Univ., Diss., 2007
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
VDM Verlag Dr. Müller
- (when)
-
2008
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:49 AM CET
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
- Hetzl, Stefan
- VDM Verlag Dr. Müller
Time of origin
- 2008
Other Objects (12)
PROOF
proof
Proof
Proof Presentation Based on Proof Plans
Negative proof
Proof positive
Proof Sarbax
Proof theory
Proof theory
Proof presentation
Proof that ... .
Proof theory and algorithms for answer set programming
PROOF
proof
Proof
Proof Presentation Based on Proof Plans
Negative proof
Proof positive
Proof Sarbax
Proof theory
Proof theory
Proof presentation
Proof that ... .
Proof theory and algorithms for answer set programming
PROOF
proof
Proof
Proof Presentation Based on Proof Plans
Negative proof
Proof positive
Proof Sarbax
Proof theory
Proof theory
Proof presentation
Proof that ... .