- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 8 of 8 (0.058 seconds)Spelling suggestions: "subject:"typentheorie"" "subject:"typentheorien""
| 1 |
Untersuchung zur Struktur und Geltung moderner Typentheorien /Schank, Stephan. January 1998 (has links)
Zugl.: Aachen, Techn. Hochsch., Diss., 1997.
|
| 2 |
Construction and deduction in type theoriesStrecker, Martin. January 1999 (has links)
Ulm, Univ., Diss., 1999. / http://vts.uni-ulm.de/query/longview.meta.asp?document_id=259.
|
| 3 |
Praktisches Wissen Grundlagen einer konstruktiven Theorie menschlichen Handelns /Löhrer, Guido, January 1900 (has links)
Habilitation--Universität Bern, 2001.
|
| 4 |
Praktisches Wissen Grundlagen einer konstruktiven Theorie menschlichen Handelns /Löhrer, Guido, January 1900 (has links)
Habilitation--Universität Bern, 2001.
|
| 5 |
Equality and extensionality in automated higher-order theorem provingBenzmüller, Christoph. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
|
| 6 |
Die Kategorie der gleichungs-partiellen Theorien als semantischer BereichReichel, Horst 03 December 2012 (has links) (PDF)
No description available.
|
| 7 |
A universal realizability model for sequential functional computationRohr, Alexander. Unknown Date (has links)
Techn. University, Diss., 2002--Darmstadt.
|
| 8 |
Die Kategorie der gleichungs-partiellen Theorien als semantischer BereichReichel, Horst 03 December 2012 (has links)
No description available.
|
Page generated in 0.0632 seconds