Halpern, Joseph Y.

Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California - Los Altos, California Morgan. Kaufmann Publishers 1986. - vii, 407 p.

Cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery.

Includes bibliographies and index.

0934613044 (PB)


Artificial intelligence
Theory of Knowledge
Logic, Symbolic and mathematical
Reasoning

681.3 / HAL
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha