On computing limits in a symbolic manipulation system
By: Dominik Wolfgang Gruntz
Contributors: Eidgenössische Technische Hochschule Zürich
Published: 1996
Language: eng
Notes: Thesis (doctoral)--Swiss Federal Institute of Technology Zurich, 1996.