- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Universität Ulm, Diss., 1999
- Keyword
-
Typentheorie
Automatisches Beweisverfahren
Typentheorie
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Informatik
- (when)
-
1999
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-2596
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 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
- Strecker, Martin
- Universität Ulm. Fakultät für Informatik
Time of origin
- 1999
Other Objects (12)
Construction and deduction in type theories
C++ Type Deduction and Why You Care
Construction and deduction methods for the formal development of software
Web construction of ABCDEFG and affine quiver gauge theories
Finitary Type Theories With and Without Contexts
TCFHs, hidden symmetries and type II theories
Automatic construction of implicative theories for mathematical domains
Automatic Construction of Implicative Theories for Mathematical Domains
On the construction of classical superstring field theories
Generalized symmetries and holography in ABJM-type theories
The translatorcentered multidisciplinary construction : Douglas Robinson's translation theories explored
Well-order as a construction principle for physical theories
Construction and deduction in type theories
C++ Type Deduction and Why You Care
Construction and deduction methods for the formal development of software
Web construction of ABCDEFG and affine quiver gauge theories
Finitary Type Theories With and Without Contexts
TCFHs, hidden symmetries and type II theories
Automatic construction of implicative theories for mathematical domains
Automatic Construction of Implicative Theories for Mathematical Domains
On the construction of classical superstring field theories
Generalized symmetries and holography in ABJM-type theories
The translatorcentered multidisciplinary construction : Douglas Robinson's translation theories explored
Well-order as a construction principle for physical theories
Construction and deduction in type theories
C++ Type Deduction and Why You Care
Construction and deduction methods for the formal development of software
Web construction of ABCDEFG and affine quiver gauge theories
Finitary Type Theories With and Without Contexts
TCFHs, hidden symmetries and type II theories
Automatic construction of implicative theories for mathematical domains
Automatic Construction of Implicative Theories for Mathematical Domains
On the construction of classical superstring field theories
Generalized symmetries and holography in ABJM-type theories
The translatorcentered multidisciplinary construction : Douglas Robinson's translation theories explored