Type systems for computer algebra
By: von Andreas Weber
Contributors: Universität Tübingen
Published: 1993
Language: eng
Number of pages: 106
Notes: Thesis (doctoral)--Eberhard-Karls-Universität zu Tübingen, 1993.