Shelfclass_id |
4.A |
Sortkey |
TARK |
Authors |
Rohit Parikh |
Title |
TARK 1990: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Third Conference, March 4-7, 1990, Pacific Grove, California |
Publisher |
Morgan Kaufmann Publishers |
Year |
c1990 |
Languages |
eng |
Isbn |
1558601058 |
Series |
The Morgan Kaufmann series in representation and reasoning |
Description |
iv, 305 p. ill. 28 cm |
Record date |
20060711 |
Location |
San Mateo, Calif. |
Keywords |
Artificial intelligence, Knowledge, Theory of, Logic, Symbolic and mathematical |
Notes |
Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge |