Franklin

Theoretical aspects of reasoning about knowledge [electronic resource]. proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California / edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center, and supported by the American Association for Artificial Intelligence and the Air Force Office of Scientific Research.

Other records:
Other Title:
Also known as: TARK '90
Reasoning about knowledge
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge.
Publication:
San Mateo, Calif. : Morgan Kaufmann, c1990.
Conference Name:
Conference on Theoretical Aspects of Reasoning about Knowledge (3rd : 1990 : Pacific Grove, Calif.)
Series:
ACM Digital Library (Series)
The Morgan Kaufmann series in representation and reasoning
The Morgan Kaufmann series in representation and reasoning
Format/Description:
Conference/Event
Book
iv, 305 p. : ill.
Subjects:
Artificial intelligence -- Congresses.
Knowledge, Theory of -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
System Details:
Mode of access: World Wide Web.
Notes:
Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge.
Includes bibliographical references and index.
Contributor:
Parikh, Rohit, 1936-
ACM Digital Library.
Almaden Research Center (IBM Research)
ISBN:
1558601058 (cover)
9781558601055 (cover)
1558801058 (CIP data)
OCLC:
20994107
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy