|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
SCIDIR_ocn562190018 |
| 003 |
OCoLC |
| 005 |
20231117032931.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
100318s1986 cau ob 101 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d OCLCO
|d OCLCA
|d OCLCQ
|d CUSER
|d OCLCA
|d OCLCF
|d OPELS
|d OCLCA
|d OCL
|d OCLCO
|d OCLCQ
|d HNK
|d EBLCP
|d N$T
|d HEBIS
|d E7B
|d YDXCP
|d DEBSZ
|d MERUC
|d INARC
|d OCLCA
|d OCLCQ
|d LUN
|d OCLCQ
|d OCLCO
|d COM
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 57428250
|a 300874372
|a 326585636
|a 898772062
|a 1036977911
|
| 020 |
|
|
|a 9780934613040
|q (electronic bk.)
|
| 020 |
|
|
|a 0934613044
|q (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)562190018
|z (OCoLC)57428250
|z (OCoLC)300874372
|z (OCoLC)326585636
|z (OCoLC)898772062
|z (OCoLC)1036977911
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a Q334
|b .T47 1986
|
| 072 |
|
7 |
|a COM
|x 000000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 006.3
|2 19
|
| 084 |
|
|
|a 08.32
|2 bcl
|
| 084 |
|
|
|a 54.72
|2 bcl
|
| 245 |
0 |
0 |
|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.
|
| 246 |
1 |
|
|i Also known as:
|a TARK '86
|
| 260 |
|
|
|a Los Altos, Calif. :
|b M. Kaufmann Publishers,
|c �1986.
|
| 300 |
|
|
|a 1 online resource (vii, 407 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 650 |
|
0 |
|a Artificial intelligence
|v Congresses.
|
| 650 |
|
0 |
|a Knowledge, Theory of
|v Congresses.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|v Congresses.
|
| 650 |
|
0 |
|a Reasoning
|v Congresses.
|
| 650 |
|
6 |
|a Intelligence artificielle
|0 (CaQQLa)201-0008626
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Th�eorie de la connaissance
|0 (CaQQLa)201-0004936
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Logique symbolique et math�ematique
|0 (CaQQLa)201-0001166
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
6 |
|a Raisonnement
|0 (CaQQLa)201-0005918
|v Congr�es.
|0 (CaQQLa)201-0378219
|
| 650 |
|
7 |
|a COMPUTERS
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a Artificial intelligence
|2 fast
|0 (OCoLC)fst00817247
|
| 650 |
|
7 |
|a Knowledge, Theory of
|2 fast
|0 (OCoLC)fst00988194
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|0 (OCoLC)fst01002068
|
| 650 |
|
7 |
|a Reasoning
|2 fast
|0 (OCoLC)fst01091282
|
| 655 |
|
2 |
|a Congress
|0 (DNLM)D016423
|
| 655 |
|
7 |
|a proceedings (reports)
|2 aat
|0 (CStmoGRI)aatgf300027316
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|0 (OCoLC)fst01423772
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
| 655 |
|
7 |
|a Actes de congr�es.
|2 rvmgf
|0 (CaQQLa)RVMGF-000001049
|
| 700 |
1 |
|
|a Halpern, Joseph Y.,
|d 1953-
|
| 710 |
2 |
|
|a International Business Machines Corporation.
|
| 710 |
2 |
|
|a American Association for Artificial Intelligence.
|
| 710 |
1 |
|
|a United States.
|b Office of Naval Research.
|
| 710 |
2 |
|
|a Association for Computing Machinery.
|
| 740 |
0 |
|
|a Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge.
|
| 776 |
0 |
8 |
|i Print version:
|t Theoretical aspects of reasoning about knowledge.
|d Los Altos, Calif. : M. Kaufmann Publishers, �1986
|w (DLC) 86002755
|w (OCoLC)13184640
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780934613040
|z Texto completo
|
