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

著者

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

書誌事項

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

注記

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

Includes bibliographic references and author index

詳細情報

• NII書誌ID(NCID): BA70106917
• ISBN:
  • 0769519121
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xi, 223 p.
• 大きさ: 28 cm