Springe zum Seiteninhalt
|
Admin
|
Sitemap
|
Impressum
Homepage
Mitarbeiter
Lehre
Aktivitäten
Projekte
Publikationen
Stellen
Aktuelle Seite:
Publikationen
Alle Publikationsarten
-
Paper
-
Technical Reports
-
Bücher
-
Dissertationen
Suchen:
alle
-
aktuell
-
2019
-
2018
-
2017
-
2016
-
2015
-
2014
-
2013
-
2012
-
2011
-
2010
-
2009
-
2008
-
2007
-
2006
-
2005
-
2000
-
1993
Publikationen
1993
Type Systems for Computer Algebra
Andreas Weber
Dissertation, Fakultät für Informatik der Eberhard-Karls-Universität zu Tübingen, Juli 1993
[Details]
[Bibtex]