close
1.

図書
図書
1. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. 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
シリーズ名: Lecture notes in computer science ; 737
所蔵情報: loading…