01554nam a2200397 4500 DLU030025520 ##19910201101129.7 ##900108s1990 caua b 101 0 eng 90005435 1558607919 (cover) 1558801058 (CIP data) (DLC) 90005435 DLC DLC DLC Q334 .T48 1990 006.3 TAR Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California / edited by Johan Van Benthem ; sponsored by Denise E. M. Penrose. San Francisco, Calif. : Morgan Kaufmann, c2001. iv, 339 p. : ill. ; 28 cm. The Morgan Kaufmann series in representation and reasoning Selected papers presented to the 8rd Conference on the Theoretical Aspects of Reasoning about Knowledge. Includes bibliographical references and index. Artificial intelligence Congresses. Knowledge, Theory of Congresses. Logic, Symbolic and mathematical Congresses. Benthem, Johan Van Conference on the Theoretical Aspects of Reasoning about Knowledge (8rd : 2001 : San Francisco, Calif.) Reasoning about knowledge. DLU True Lê Thị Mạnh Xuân G A SH Thư viện Trường Đại học Đà Lạt