close
1.

図書

図書
David P. Casasent, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering; cooperating organizations, Center for Optical Data Processing/Carnegie Mellon University, IEEE Philadelphia Section, the Industrial Electronics Society of the IEEE
出版情報: Bellingham, Wash., USA : The Society, c1990  2 v. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 1192
所蔵情報: loading…
2.

図書

図書
Bruce G. Batchelor, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering; cooperating organizations, Center for Optical Data Processing/Carnegie Mellon University, IEEE Philadelphia Section, the Industrial Electronics Society of the IEEE
出版情報: Bellingham, Wash., USA : The Society, c1990  viii, 348 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 1193
所蔵情報: loading…
3.

図書

図書
sponsored by Association for Computing Machinery-Sigart, the University of South Carolina, The University of Tennessee Space Institute(UTSI) ; cooperating organizations, American Association fo Artificial Intelligence ... [et al.]
出版情報: New York : Association for Computing Machinery, c1990  2 v. (1176 p.) ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by: IEEE Computer Society
出版情報: Los Alamitos ; Tokyo : IEEE Computer Society Press, c1990  xxi, 895 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, 1990  2 v. (xix, 1147 p.) ; 29 cm
所蔵情報: loading…
6.

図書

図書
C.J. Barter, M.J. Brooks (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 462 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 406 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Expert Systems
Tutoring
Logic and Reasoning
Knowledge Acquisition and Representation
Knowledge Engineering
Vision and Robotics
Natural Language
Parallel Processing and Distributed AI
Author Index
Invited Presentations
Expert Systems
Tutoring
7.

図書

図書
K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 307 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 418 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Sorts and Types in Logic, Theorem Proving and Logic Programming
Sorts and Types in Knowledge Representation Including Qualitative Reasoning
Sorts and Types in Natural Language (Understanding) Systems
List of Contributors
Introduction
Sorts and Types in Logic, Theorem Proving and Logic Programming
Sorts and Types in Knowledge Representation Including Qualitative Reasoning
8.

図書

図書
V. Mařík, O. Štěpánková, Z. Zdráhal (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  ix, 247 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 451 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼