Research Catalog
Epistemic logic for AI and computer science
- Title
- Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.
- Author
- Meyer, John-Jules Ch
- Publication
- Cambridge ; New York : Cambridge University Press, 1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSF 99-618 | Offsite |
Details
- Additional Authors
- Hoek, W. van der (Wiebe van der)
- Description
- xiii, 354 p. : ill.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 41
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 331-346) and index.
- Call Number
- JSF 99-618
- ISBN
- 052146014X (hardback)
- LCCN
- 95013981
- OCLC
- 32273351
- Author
- Meyer, John-Jules Ch.
- Title
- Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1995.
- Series
- Cambridge tracts in theoretical computer science ; 41
- Bibliography
- Includes bibliographical references (p. 331-346) and index.
- Added Author
- Hoek, W. van der (Wiebe van der)
- Research Call Number
- JSF 99-618