Coverart for item
The Resource TIME-ICTL 2003 : 10th 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

TIME-ICTL 2003 : 10th 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

Label
TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia
Title
TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning
Title remainder
and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia
Statement of responsibility
sponsored by Murdoch University, Griffith University, University of Western Australia ; edited by Mark Reynolds and Abdul Sattar
Title variation
  • Temporal representation and reasoning
  • Temporal logic
  • 10th International Symposium on Temporal Representation and Reasoning
  • International Workshop on Temporal Representation and Reasoning
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GAT
Dewey number
006.3
Illustrations
illustrations
Index
index present
LC call number
QA76.9.D3
LC item number
I597 2003c Online only
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
International Symposium on Temporal Representation and Reasoning
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1957-
  • 2003
http://library.link/vocab/relatedWorkOrContributorName
  • Reynolds, Mark
  • Sattar, Abdul
  • Murdoch University.
  • Griffith University.
  • University of Western Australia.
  • International Conference on Temporal Logic
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Reasoning
  • Time
  • Temporal databases
Label
TIME-ICTL 2003 : 10th 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
Instantiates
Publication
Note
  • "IEEE Computer Society Order Number PR01912"--Title page verso
  • Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
IEEE53218020
Dimensions
unknown
Extent
1 online resource (xi, 223 pages)
Form of item
online
Isbn
9780769519128
Lccn
2004272273
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocm53218020\
  • (OCoLC)53218020
Label
TIME-ICTL 2003 : 10th 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
Publication
Note
  • "IEEE Computer Society Order Number PR01912"--Title page verso
  • Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
IEEE53218020
Dimensions
unknown
Extent
1 online resource (xi, 223 pages)
Form of item
online
Isbn
9780769519128
Lccn
2004272273
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocm53218020\
  • (OCoLC)53218020

Library Locations

Processing Feedback ...