close
1.

図書
図書
1. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 379 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1138
所蔵情報: loading…
2.

図書
図書
2. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers (: gw)
Jacques Calmet, John A. Campbell, (eds.)
出版情報: Berlin ; New York ; tokyo : Springer-Verlag, c1995  x, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 958
所蔵情報: loading…
3.

図書
図書
3. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings (: us ; : gw)
Jacques Calmet, John A. Campbell (eds.)
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, c1993  305 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 737
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼