著者典拠情報

標目形：
Bundy, Alan
属性：
Personal
から見よ参照形：
Bundy, A. (Alan)
Bundy A. R. (Alan R.)
注記：
His The computer modelling of math. reasoning, 1983: t.p. (Alan Bundy, Dept. of Artificial Intelligence, Univ. of Edinburgh)
His Artificial intelligence, c1978: t.p. (A. Bundy)
Edin. U. Cal., 1976-1977 (Bundy, A. R.)
His Catalogue of artificial ... 1984: CIP t.p. (Alan Bundy) data sheet (b. 5/18/47)
著者典拠ID：
DA00439955


 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…