Jump to main content

yr 〜
yr

Search results 21

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9229>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (12th : 1994 : Nancy, France) Bundy, Alan.

Rippling : meta-level guidance for mathematical reasoning : hbk

Rippling : meta-level guidance for mathematical reasoning : hbk
Paper図書
Alan Bundy ... [et al.]Cambridge University Press2005
Other Libraries in Japan

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに則して

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに則して
Paper図書
Alan Bundy他編 ; 高橋隆一郎訳高橋隆一郎2005.4
Other Libraries in Japan

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して 第2版

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して 第2版
Paper図書
Alan Bundy 他編, 高橋隆一郎 編訳大学図書館問題研究会出版部2008.8<UL711-J12>
National Diet LibraryOther Libraries in Japan

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して
Paper図書
Alan Bundy 他編, 高橋隆一郎 訳高橋隆一郎2005.4<UL711-H17>
National Diet LibraryOther Libraries in Japan

Catalogue of artificial intelligence tools / edited by Alan Bundy. (Symbolic computation. Artificial intelligence)

Catalogue of artificial intelligence tools / edited by Alan Bundy. (Symbolic computation. Artificial intelligence)
Paper図書
Springer-Verlag1984.<M1-215>
National Diet LibraryOther Libraries in Japan
  • Author HeadingBundy, Alan.

Artificial intelligence techniques : a comprehensive catalogue 4th rev. ed

Artificial intelligence techniques : a comprehensive catalogue 4th rev. ed
Paper図書
Alan Bundy (ed.)Springerc1997
Other Libraries in Japan

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings : us : gw

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings : us : gw
Paper図書
Alan Bundy (ed.)Springer-Verlagc1994
Other Libraries in Japan

Catalogue of artificial intelligence techniques : gw : us 3rd, rev. ed

Catalogue of artificial intelligence techniques : gw : us 3rd, rev. ed
Paper図書
Alan Bundy, ed.Springer-Verlag1990
Other Libraries in Japan

Directory of Australian academic and research libraries / editors: Alan and Judith Bundy. 4th ed.

Directory of Australian academic and research libraries / editors: Alan and Judith Bundy. 4th ed.
Paper図書
Auslib Press1989.<UL297-A4>
National Diet Library

Catalogue of artificial intelligence tools : us : gw 2nd rev. ed

Catalogue of artificial intelligence tools : us : gw 2nd rev. ed
Paper図書
edited by Alan BundySpringer-Verlagc1986
Other Libraries in Japan

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning
Paper図書
Alan BundyAcademic Press1983
Other Libraries in Japan

Catalogue of artificial intelligence tools : us. : pbk : gw. : pbk

Catalogue of artificial intelligence tools : us. : pbk : gw. : pbk
Paper図書
edited by Alan BundySpringer-Verlag1984
Other Libraries in Japan

The computer modelling of mathematical reasoning : pbk. : cased

The computer modelling of mathematical reasoning : pbk. : cased
Paper図書
Alan BundyAcademic Press1983
Other Libraries in Japan

Directory of Australian public libraries / editor: Alan L. Bundy ; editorial assistant: Barbara J. Green. 1st ed.

Directory of Australian public libraries / editor: Alan L. Bundy ; editorial assistant: Barbara J. Green. 1st ed.
Paper図書
Footscray Institute of Technology1982.<UL267-A1>
National Diet Library

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して 日本語訳第2版

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して 日本語訳第2版
Paper図書
Alan Bundy他編 ; 高橋隆一郎編訳大学図書館問題研究会2008.8
Other Libraries in Japan

Directory of Australian academic libraries / editor: Alan L. Bundy ; editorial assistant: Barbara J. Green. 2nd ed.

Directory of Australian academic libraries / editor: Alan L. Bundy ; editorial assistant: Barbara J. Green. 2nd ed.
Paper図書
Footscray Institute of Technology1981.<UL297-A1>
National Diet Library

Artificial intelligence : an introductory course Rev. ed

Artificial intelligence : an introductory course Rev. ed
Paper図書
A. Bundy ... [et. al.]Edinburgh University Press1980
Other Libraries in Japan

Proceedings of the Eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany v. 1 v. 2

Proceedings of the Eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany v. 1 v. 2
Paper図書
sponsor, International Joint Conferences on Artificial Intelligence, Inc. ; cosponsors, Gesellschaft für Informatik ... [et al.] ; [edited by Alan Bundy]W. Kaufmann [distributor]c1983
Other Libraries in Japan

Artificial intelligence : an introductory course

Artificial intelligence : an introductory course
Paper図書
A. Bundy ... [et. al.]Edinburgh University Press1978
Other Libraries in Japan
RSS