1.

電子ブック
ＥＢ
1. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers. 1st ed. 1995
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: https://doi.org/10.1007/3-540-60156-2
2.

電子ブック
ＥＢ
2. Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings. 1st ed. 1993
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 737
オンライン: https://doi.org/10.1007/3-540-57322-4