Coverart for item
The Resource 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark, edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger

23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark, edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger

Label
23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark
Title
23rd International Symposium on Temporal Representation and Reasoning
Title remainder
TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark
Statement of responsibility
edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
Title variation
  • TIME 2016
  • 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)
  • Temporal Representation and Reasoning (TIME), 2016 23rd International Symposium on
Creator
Contributor
Editor
Publisher
Subject
Genre
Language
eng
Member of
Cataloging source
STF
Illustrations
illustrations
Index
index present
LC call number
Q334
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2016
http://bibfra.me/vocab/lite/meetingName
International Symposium on Temporal Representation and Reasoning
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Hansen, Michael R.
  • IEEE Computer Society
http://library.link/vocab/subjectName
  • Temporal databases
  • Time
  • Logic, Symbolic and mathematical
  • Reasoning
  • Artificial intelligence
Label
23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark, edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
Instantiates
Publication
Copyright
Note
"IEEE Computer Society Order Number: E5961"--PDF copyright page
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
IEEE985665041
Dimensions
unknown
Extent
1 online resource (x, 208 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocn985665041
  • (OCoLC)985665041
Label
23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark, edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
Publication
Copyright
Note
"IEEE Computer Society Order Number: E5961"--PDF copyright page
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type MARC source
rdacontent
Control code
IEEE985665041
Dimensions
unknown
Extent
1 online resource (x, 208 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations (some color)
Specific material designation
remote
System control number
  • ocn985665041
  • (OCoLC)985665041

Library Locations

Processing Feedback ...