International Conference AISMC-1 (1992 : Karlsruhe, Germany), Calmet, J., & Campbell, J. A. (1993). Artificial intelligence and symbolic mathematical computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)International Conference AISMC-1 (1992 : Karlsruhe, Germany), Jacques Calmet, và John A. Campbell. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Berlin: Springer-Verlag, 1993.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)International Conference AISMC-1 (1992 : Karlsruhe, Germany), et al. Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Springer-Verlag, 1993.