EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings Volume 1: Invited Lectures Buchberger Bruno Heftet / 1985 / Engelsk
Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings Buchberger Bruno Heftet / 2004 / Engelsk
Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 Asperti Andrea Heftet / 2003 / Engelsk
Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers Moreno-Diaz Roberto Heftet / 2001 / Engelsk
