Normal View ISBD View

TARK

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern - Los Altos : M. Kaufmann Publishers, 1986 - VII, 407 p. ; 28 cm.

ISBN: 0934613044

Subjects--Topical Terms:
Artificial intelligence--Congresses
Knowledge, Theory of--Congresses
Logic, Symbolic and mathematical--Congresses
Reasoning--Congresses

LC Class. No.: Q334.T47