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 Inteligence and the Office of Naval Research ; in cooperation with Association for Computing Machinery
Bok Engelsk 1986
Utgitt
Los Altos, Calif. : Morgan Kaufmann , c1986
Omfang
vii, 407 s.
Emner
Kunnskapsbaserte systemer
kunnskapsteknologi knowledge representation artificial intelligence logic kunstig intelligens kongresser form tenkningkunnskapspresentasjon
ISBN
0934613044

Bibliotek som har denne