close
1.

図書
図書
1. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings (: us ; : gw)
Alan Bundy (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. AIテクノロジー
Alan Bundy編 ; 富士総合研究所編訳 ; 宮沢信一郎監訳
出版情報: 東京 : 裳華房, 1991.5
所蔵情報: loading…
3.

図書
図書
3. Catalogue of artificial intelligence techniques. 3rd, rev. ed (: gw ; : us)
Alan Bundy, ed.
出版情報: Berlin ; Tokyo : Springer-Verlag, 1990
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Catalogue of artificial intelligence tools (: us. : pbk ; : gw. : pbk)
edited by Alan Bundy
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the Eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany (v. 1 ; v. 2)
sponsor, International Joint Conferences on Artificial Intelligence, Inc. ; cosponsors, Gesellschaft für Informatik ... [et al.] ; [edited by Alan Bundy]
出版情報: Los Altos, Calif. : W. Kaufmann [distributor], c1983
所蔵情報: loading…
6.

図書
図書
6. The computer modelling of mathematical reasoning (: pbk. ; : cased)
Alan Bundy
出版情報: London ; Tokyo : Academic Press, 1983
所蔵情報: loading…
7.

図書
図書
7. 人工知能入門
A. Bundy編 ; 長尾真監訳
出版情報: 東京 : 近代科学社, 1981.12
所蔵情報: loading…
8.

図書
図書
8. Artificial intelligence : an introductory course
A. Bundy ... [et. al.]
出版情報: Edinburgh : Edinburgh University Press, 1978
所蔵情報: loading…