西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery.

出版发行项:

Los Altos, Calif. : M. Kaufmann Publishers, c1986.

ISBN:

0934613044 (pbk.)

载体形态项:

vii, 407 p. ; 28 cm.

附加个人名称:

Halpern, Joseph Y., 1953-

附加团体名称:

American Association of Artificial Intelligence.

附加团体名称:

United States. Office of Naval Research.

附加团体名称:

Association for Computing Machinery.

附加团体名称:

International Business Machines Corporation.

论题主题:

Knowledge, Theory of-Congresses.

论题主题:

Logic, Symbolic and mathematical-Congresses.

论题主题:

Reasoning-Congresses.

论题主题:

Artificial intelligence-Congresses.

中图法分类号:

TP11-53

书目附注:

Includes bibliographies and index.

豆瓣简介：