- International Conference AISC (5)
- Calmet, Jacques, 1941- (3)
- Buchberger, Bruno (1)
- Calculemus 2002 (1)
- Campbell, John A. (1)
- Campbell, John A., 1940- (1)
- Plaza, Jan (1)
- Roanes-Lozano, Eugenio (1)
- Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (1)
- Wang, Dongming (1)
- 井田, 哲雄(1947-) (1)