alle  -  aktuell  -  2020  -  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]