机读格式显示(MARC)

• 000 01648nam2 2200397 4500

• 000 1000001711

• 001 0000158205

• 003 CAL

• 005 20040706162842.0

• 008 960909s1986 b 101 0 eng d

• 020 __ |a 0934613044 (pbk.) |c CNY234.85

• 035 __ |a 00075200

• 040 __ |a XAIT |c XAIT

• 050 0_ |a Q334 |b .T47 1986

• 082 00 |a 006.3 |2 19

• 090 __ |a TP11-53/5:(86)E

• 093 __ |a TP11-53 |2 4

• 099 __ |a CAL 022000858806 |a CAL 022000305126

• 245 00 |a Theoretical aspects of reasoning about knowledge : |b proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / |c edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery.

• 260 __ |a Los Altos, Calif. : |b M. Kaufmann Publishers, |c c1986.

• 300 __ |a vii, 407 p. ; |c 28 cm.

• 504 __ |a Includes bibliographies and index.

• 650 _0 |a Knowledge, Theory of |x Congresses.

• 650 _0 |a Logic, Symbolic and mathematical |x Congresses.

• 650 _0 |a Reasoning |x Congresses.

• 650 _0 |a Artificial intelligence |x Congresses.

• 700 1_ |a Halpern, Joseph Y., |d 1953-

• 710 2_ |a American Association of Artificial Intelligence.

• 710 2_ |a United States. |b Office of Naval Research.

• 710 2_ |a Association for Computing Machinery.

• 710 2_ |a International Business Machines Corporation.

• 905 __ |a XATU |d TP11-53/5:(86)E

• 920 __ |a 261060 |z 1

• 950 __ |a 261060 |f TP11-53/5:(86)

• 991 __022004001718

• 999 __ |t C |A shanzhan |a 20040706 16:23:16 |M shanzhan |m 20040706 16:28:42 |G shanzhan |g 20040706 16:29:1