Proceedings 10th International Symposium on Temporal Representation and Reasoning and fourth International Conference on Temporal Logic : TIME-ICTL 2003 : 8-10 July 2003, Cairns, Queensland, Australia

Author(s)

• International Symposium on Temporal Representation and Reasoning
• Reynolds, Mark
• Sattar, Abdul
• International Conference on Temporal Logic

Bibliographic Information

Proceedings 10th International Symposium on Temporal Representation and Reasoning and fourth International Conference on Temporal Logic : TIME-ICTL 2003 : 8-10 July 2003, Cairns, Queensland, Australia

edited by Mark Reynalds and Abdul Sattar ; sponsored by Murdoch University, Griffith University, University of Western Australia

IEEE Computer Society Press, c2003

Note

"IEEE Computer Society Order Number PR01912"--verso of T.p

Includes bibliographic references and author index

Details

• NCID: BA70106917
• ISBN:
  • 0769519121
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xi, 223 p.
• Size: 28 cm