東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Campbell John A.)
該当件数:4件
Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers / John A. Campbell, Eugenio Roanes-Lozano (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 1930 . Lecture notes in artificial intelligence)
図書
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / Jacques Calmet, John A. Campbell, (eds.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 958)
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 : Springer , c1996. - (Lecture notes in computer science ; 1138)
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds.)
: us,: gw. - Berlin ; Heidelberg ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 737)