著者典拠情報

著者標目形：
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


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
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

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