Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California

Material type: 図書

Author: 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

Publisher: Morgan Kaufmann

Publication date: c1990

Material Format: Paper

Capacity, size, etc.: 28 cm

NDC: -

View All

Notes on use

Note (General)：: Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about KnowledgeIncludes bibliographical references and index

Related materials as well as pre- and post-revision versions

The Morgan Kaufmann series in representation and reasoning

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 1558601058
Title: Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California
Author/Editor: 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
Author Heading: Conference on Theoretical Aspects of Reasoning about Knowledge
https://ci.nii.ac.jp/author/DA00641311
Parikh, Rohit
https://ci.nii.ac.jp/author/DA00406923
Almaden Research Center (IBM Research)
https://ci.nii.ac.jp/author/DA03079095
Publication, Distribution, etc.: Morgan Kaufmann
Publication Date: c1990
Publication Date (W3CDTF): 1990
Size: 28 cm
Alternative Title: Reasoning about knowledge
Place of Publication (Country Code): us
Text Language Code: en
Subject Heading: Artificial intelligence -- Congresses
Knowledge, Theory of -- Congresses
Logic, Symbolic and mathematical -- Congresses
LCC: Q334
Target Audience: 一般
Note (General): Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge
Includes bibliographical references and index
Related Material: The Morgan Kaufmann series in representation and reasoning
https://cir.nii.ac.jp/crid/1130000798325791872
Related Material (URI): https://ci.nii.ac.jp/ncid/BA10293532#entity
https://lccn.loc.gov/90005435
Periodical Title: The Morgan Kaufmann series in representation and reasoning
https://cir.nii.ac.jp/crid/1130000798325791872
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA10293532 : BA10293532
LC Control Number: 90005435
https://lccn.loc.gov/90005435