| Shelfclass_id | 4.A |
| Sortkey | TARK |
| Authors | Joseph Y. Halpern |
| Title | TARK 1986: Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 conference, March 19-22, 1986, Monterey, California |
| Publisher | M. Kaufmann Publishers |
| Year | c1986 |
| Languages | eng |
| Isbn | 0934613044 |
| Description | vii, 407 p. ill. 28 cm |
| Record date | 20060711 |
| Location | Los Altos, Calif. |
| Nlmed | Q334 |
| Keywords | Artificial intelligence, Knowledge, Theory of, Logic, Symbolic and mathematical, Reasoning |