- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Ulm, Universität Ulm, Diss., 1999
- Schlagwort
-
Typentheorie
Automatisches Beweisverfahren
Typentheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Informatik
- (wann)
-
1999
- Urheber
- URN
-
urn:nbn:de:bsz:289-vts-2596
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 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
- Strecker, Martin
- Universität Ulm. Fakultät für Informatik
Entstanden
- 1999
Ähnliche Objekte (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
On the construction of classical superstring field theories
Automatic Construction of Implicative Theories for Mathematical Domains
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
On the construction of classical superstring field theories
Automatic Construction of Implicative Theories for Mathematical Domains
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
On the construction of classical superstring field theories
Automatic Construction of Implicative Theories for Mathematical Domains
Generalized symmetries and holography in ABJM-type theories
The translatorcentered multidisciplinary construction : Douglas Robinson's translation theories explored