- International Symposium on Design and Implementation of Symbolic Computation Systems (4)
- Miola, A. (Alfonso), 1944- (2)
- Calmet, Jacques, 1941- (1)
- Fitch, John, 1945- (1)
- Johannes Kepler Universität Linz. Forschungsinstitut für Symbolisches Rechnen (1)
- Limongelli, Carla (1)
- Universitá degli studi di Roma "La Sapienza." Dipartimento di informatica e sistemistica (1)