小樽商科大学の蔵書を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 001.53/5)
該当件数:20件
Proceedings : AAAI-87 : Sixth National Conference on Artificial Intelligence, July 13-17, 1987 / sponsored by the American Association for Artificial Intelligence
v. 1,v. 2. - Los Altos, Calif. : Distributed by M. Kaufmann , c1987
図書
IJCAI 87 : proceedings of the Tenth International Joint Conference on Artificial Intelligence : August 23-28, 1987 / sponsored by International Joint Conferences on Artificial Intelligence, Inc. (IJCAII) ; cosponsored and hosted by Associazione Italiana per l'informatica ed il calcolo automatico-A.I.C.A. (Gruppo di lavoro di intelligenza artificiale GLIA), in cooperation with Politecnico di Milano, Italy ; [edited by John McDermott]
v. 1,v. 2. - Los Altos, Calif. : Morgan Kaufmann [distributor] , c1987
Metamagical themas : questing for the essence of mind and pattern / Douglas R. Hofstadter
New York : Basic Books , c1985
Expert systems : artificial intelligence in business / Paul Harmon and David King
: pbk.. - New York : J. Wiley , c1985
Introduction to artificial intelligence / Eugene Charniak, Drew McDermott
: pbk.. - Reading, Mass. ; Tokyo : Addison-Wesley , c1985. - (Addison-Wesley series in computer science)
Automated reasoning : introduction and applications / Larry Wos ... [et al.]
: pbk. - Englewood Cliffs, N.J. : Prentice-Hall , c1984
Artificial intelligence / Patrick Henry Winston
2nd ed. - Reading, Mass. : Addison-Wesley , 1984. - (Addison-Wesley series in computer science)
New topics in learning automata theory and applications / N. Baba
gw,us. - Berlin ; New York : Springer-Verlag , c1984. - (Lecture notes in control and information sciences ; 71)
Classical papers on computational logic
1957-1966,1967-1970. - Berlin ; New York : Springer-Verlag , 1983. - (Symbolic computation ; . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2)
Experiments in artificial intelligence for small computers / by John Krutch
pbk.. - 1st ed. - Indianapolis, Ind. : H.W. Sams. , c1981
Stochastic automata : stability, nondeterminism, and prediction / Ernst-Erich Doberkat
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 113)
The Handbook of artificial intelligence / edited by Avron Barr and Edward A. Feigenbaum
v. 1,v. 2,v. 3. - London : Pitman , c1981-1982. - Stanford, Heuris Tech, 1981-1982
Proceedings of the First Annual National Conference on Artificial Intelligence : at Stanford University, August 18 to 21, 1980 / sponsored by the American Association for Artificial Intelligence
[Palo Alto, CA?] : AAAI , c1980
Techniques of artificial intelligence / Stuart C. Shapiro
New York : D. Van Nostrand Co. , c1979
Artificial intelligence : an introductory course / A. Bundy ... [et. al.]
Edinburgh : Edinburgh University Press , 1978
Automated theorem proving : a logical basis / Donald W. Loveland
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributor for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (Fundamental studies in computer science ; 6)
Reading, Mass. : Addison-Wesley Pub. Co. , c1977. - (Addison-Wesley series in computer science)
A structure for plans and behavior / Earl D. Sacerdoti
New York : Elsevier , c1977. - (Artificial intelligence series). - (Elsevier computer science library)
Artificial intelligence / Earl B. Hunt
New York : Academic Press , 1975. - (Academic Press series in cognition and perception)
The metaphorical brain : an introduction to cybernetics as artifical intelligence and brain theory / [by] Michael A. Arbib ; illustrated by Auro Lecci
New York : Wiley-Interscience , [1972]