|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
1059107 |
| 003 |
ICU |
| 005 |
19950912000000.0 |
| 008 |
900607s1990 caua b 10100 eng u |
| 010 |
|
|
|a 90005435
|
| 020 |
|
|
|z 1558801058
|
| 035 |
|
|
|a (ICU)BID12959723
|
| 035 |
|
|
|a (OCoLC)20994107
|
| 040 |
|
|
|a DLC
|a DLC
|c DLC
|d DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
0 |
|a Q334
|b .T48 1990
|
| 082 |
0 |
0 |
|a 006.3
|2 20
|
| 245 |
0 |
0 |
|a Theoretical aspects of reasoning about knowledge :
|b proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California /
|c edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research.
|
| 260 |
0 |
|
|a San Mateo, Calif. :
|b Morgan Kaufmann,
|c 1990.
|
| 300 |
|
|
|a iv, 305 p. :
|b ill. ;
|c 28 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 500 |
|
|
|a "Sponsored by IBM Research, Almaden Research Center, and Supported by the American Association for Artificial Intelligence and the AirForce office of Scientific Research."
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Artificial intelligence
|x Congresses
|0 http://id.loc.gov/authorities/subjects/sh2007101476
|
| 650 |
|
0 |
|a Knowledge, Theory of
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008106318
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008107112
|
| 650 |
|
7 |
|a Artificial intelligence.
|2 fast
|0 http://id.worldcat.org/fast/fst00817247
|
| 650 |
|
7 |
|a Knowledge, Theory of.
|2 fast
|0 http://id.worldcat.org/fast/fst00988194
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
| 700 |
1 |
0 |
|a Parikh, Rohit,
|d 1936-
|0 http://id.loc.gov/authorities/names/n85105725
|1 http://viaf.org/viaf/45731689
|
| 710 |
2 |
0 |
|a Almaden Research Center (IBM Research)
|0 http://id.loc.gov/authorities/names/n88137918
|1 http://viaf.org/viaf/146127611
|
| 711 |
2 |
0 |
|a Conference on Theoretical Aspects of Reasoning about Knowledge
|n (3rd :
|d 1990 :
|c Pacific Grove, Calif.)
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i efc61afe-4cc0-5cda-8f99-f1cb5a07bb2e
|s 0e389980-0d4b-5cb4-8256-5f03aa835c0e
|
| 928 |
|
|
|t Library of Congress classification
|a Q334.T480 1990
|l ASR
|c ASR-SciASR
|i 2497121
|
| 927 |
|
|
|t Library of Congress classification
|a Q334.T480 1990
|l ASR
|c ASR-SciASR
|e CRERAR
|b 32827819
|i 2316253
|
