|
|
|
|
| LEADER |
01554nam a2200397 4500 |
| 001 |
DLU030025520 |
| 005 |
##19910201101129.7 |
| 008 |
##900108s1990 caua b 101 0 eng |
| 010 |
# |
# |
|a 90005435
|
| 020 |
# |
# |
|a 1558607919 (cover)
|
| 020 |
# |
# |
|z 1558801058 (CIP data)
|
| 035 |
# |
# |
|9 (DLC) 90005435
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 050 |
# |
# |
|a Q334
|b .T48 1990
|
| 082 |
# |
# |
|a 006.3
|b TAR
|
| 245 |
# |
# |
|a Theoretical aspects of reasoning about knowledge :
|b proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
|c edited by Johan Van Benthem ; sponsored by Denise E. M. Penrose.
|
| 260 |
# |
# |
|a San Francisco, Calif. :
|b Morgan Kaufmann,
|c c2001.
|
| 300 |
# |
# |
|a iv, 339 p. :
|b ill. ;
|c 28 cm.
|
| 440 |
# |
# |
|a The Morgan Kaufmann series in representation and reasoning
|
| 500 |
# |
# |
|a Selected papers presented to the 8rd Conference on the Theoretical Aspects of Reasoning about Knowledge.
|
| 504 |
# |
# |
|a Includes bibliographical references and index.
|
| 650 |
# |
# |
|a Artificial intelligence
|x Congresses.
|
| 650 |
# |
# |
|a Knowledge, Theory of
|x Congresses.
|
| 650 |
# |
# |
|a Logic, Symbolic and mathematical
|x Congresses.
|
| 700 |
# |
# |
|a Benthem, Johan Van
|
| 711 |
# |
# |
|a Conference on the Theoretical Aspects of Reasoning about Knowledge
|n (8rd :
|d 2001 :
|c San Francisco, Calif.)
|
| 740 |
# |
# |
|a Reasoning about knowledge.
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Lê Thị Mạnh Xuân
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
