本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer-Verlagc1994.<M15-A9229>
国立国会図書館
  • 著者標目International 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
紙図書
Alan Bundy ... [et al.]Cambridge University Press2005
全国の図書館
  • 著者標目Bundy, Alan

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

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに則して
紙図書
Alan Bundy他編 ; 高橋隆一郎訳高橋隆一郎2005.4
全国の図書館
  • 著者標目Bundy, Alan 高橋, 隆一郎

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

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して 第2版
紙図書
Alan Bundy 他編, 高橋隆一郎 編訳大学図書館問題研究会出版部2008.8<UL711-J12>
国立国会図書館全国の図書館
  • 著者標目Bundy, Alan L 高橋, 隆一郎, 1962-
  • 典拠情報（Author Heading/「を見よ」参照）Bundy, Alan

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

私たちの暮らしにとって情報リテラシーとは何か : オセアニア地区大学図書館における取り組みに即して
紙図書
Alan Bundy 他編, 高橋隆一郎 訳高橋隆一郎2005.4<UL711-H17>
国立国会図書館全国の図書館
  • 著者標目Bundy, Alan L 高橋, 隆一郎, 1962-
  • 典拠情報（Author Heading/「を見よ」参照）Bundy, Alan

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)
紙図書
Springer-Verlag1984.<M1-215>
国立国会図書館全国の図書館
  • 著者標目Bundy, Alan.

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

Artificial intelligence techniques : a comprehensive catalogue 4th rev. ed
紙図書
Alan Bundy (ed.)Springerc1997
全国の図書館
  • 著者標目Bundy, Alan

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
紙図書
Alan Bundy (ed.)Springer-Verlagc1994
全国の図書館
  • 著者標目International Conference on Automated Deduction Bundy, Alan

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

Catalogue of artificial intelligence techniques : gw : us 3rd, rev. ed
紙図書
Alan Bundy, ed.Springer-Verlag1990
全国の図書館
  • 著者標目Bundy, Alan Smaill, Alan

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.
紙図書
Auslib Press1989.<UL297-A4>
国立国会図書館
  • 著者標目Bundy, Alan L Bundy, Judith.
  • 典拠情報（Author Heading/「を見よ」参照）Bundy, Alan

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

Catalogue of artificial intelligence tools : us : gw 2nd rev. ed
紙図書
edited by Alan BundySpringer-Verlagc1986
全国の図書館
  • 著者標目Bundy, Alan

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning
紙図書
Alan BundyAcademic Press1983
全国の図書館
  • 著者標目Bundy, Alan

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

Catalogue of artificial intelligence tools : us. : pbk : gw. : pbk
紙図書
edited by Alan BundySpringer-Verlag1984
全国の図書館
  • 著者標目Bundy, Alan

The computer modelling of mathematical reasoning : pbk. : cased

The computer modelling of mathematical reasoning : pbk. : cased
紙図書
Alan BundyAcademic Press1983
全国の図書館
  • 著者標目Bundy, Alan

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.
紙図書
Footscray Institute of Technology1982.<UL267-A1>
国立国会図書館
  • 著者標目Bundy, Alan L Green, Barbara J.
  • 典拠情報（Author Heading/「を見よ」参照）Bundy, Alan

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

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

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.
紙図書
Footscray Institute of Technology1981.<UL297-A1>
国立国会図書館
  • 著者標目Bundy, Alan L Green, Barbara J.
  • 典拠情報（Author Heading/「を見よ」参照）Bundy, Alan

Artificial intelligence : an introductory course Rev. ed

Artificial intelligence : an introductory course Rev. ed
紙図書
A. Bundy ... [et. al.]Edinburgh University Press1980
全国の図書館
  • 著者標目Bundy, Alan

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
紙図書
sponsor, International Joint Conferences on Artificial Intelligence, Inc. ; cosponsors, Gesellschaft für Informatik ... [et al.] ; [edited by Alan Bundy]W. Kaufmann [distributor]c1983
全国の図書館
  • 著者標目...l Intelligence Bundy, Alan Gesellschaft für Informatik I...

Artificial intelligence : an introductory course

Artificial intelligence : an introductory course
紙図書
A. Bundy ... [et. al.]Edinburgh University Press1978
全国の図書館
  • 著者標目Bundy, Alan
RSS