Research Catalog

TIME-ICTL 2003 : Tenth International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia / sponsored by: Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.

Title
TIME-ICTL 2003 : Tenth International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia / sponsored by: Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar.
Author
International Symposium on Temporal Representation and Reasoning (10th : 2003 : Cairns, Qld.)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library Q334 .I582 2003gOff-site

Details

Additional Authors
  • Griffith University.
  • International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)
  • Murdoch University.
  • Reynolds, Mark (Mark A.)
  • Sattar, Abdul, 1957-
  • University of Western Australia.
Description
xi, 223 p. : ill.; 28 cm.
Alternative Title
  • International Workshop on Temporal Representation and Reasoning
  • Temporal logic
  • Temporal representation and reasoning
Subject
  • Artificial intelligence > Congresses
  • Reasoning > Congresses
  • Temporal databases > Congresses
  • Time > Congresses
ISBN
0769519121
Owning Institutions
Columbia University Libraries