Coverart for item
The Resource 17th International Symposium on Temporal Representation and Reasoning : proceedings : Paris, France, 6-8 September 2010, sponsored by Laboratoire Spécification et Vérification [and others] ; edited by Nicolas Markey and Jef Wijsen

17th International Symposium on Temporal Representation and Reasoning : proceedings : Paris, France, 6-8 September 2010, sponsored by Laboratoire Spécification et Vérification [and others] ; edited by Nicolas Markey and Jef Wijsen

Label
17th International Symposium on Temporal Representation and Reasoning : proceedings : Paris, France, 6-8 September 2010
Title
17th International Symposium on Temporal Representation and Reasoning
Title remainder
proceedings : Paris, France, 6-8 September 2010
Statement of responsibility
sponsored by Laboratoire Spécification et Vérification [and others] ; edited by Nicolas Markey and Jef Wijsen
Title variation
  • Symposium on Temporal Representation and Reasoning
  • Temporal representation and reasoning
  • TIME 2010
  • Temporal Representation and Reasoning (TIME), 2010 17th International Symposium on
  • 2010 17th International Symposium on Temporal Representation and Reasoning
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
WAU
Illustrations
illustrations
Index
index present
Language note
English
LC call number
Q334
LC item number
.I92 2010
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International Symposium on Temporal Representation and Reasoning
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1976-
http://library.link/vocab/relatedWorkOrContributorName
  • Markey, Nicolas
  • Wijsen, Jef
  • Laboratoire Spécification et Vérification
http://library.link/vocab/subjectName
  • Artificial intelligence
  • Reasoning
  • Time
  • Temporal databases
Label
17th International Symposium on Temporal Representation and Reasoning : proceedings : Paris, France, 6-8 September 2010, sponsored by Laboratoire Spécification et Vérification [and others] ; edited by Nicolas Markey and Jef Wijsen
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE729667607
Extent
1 online resource (ix, 163 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocn729667607
  • (OCoLC)729667607
Label
17th International Symposium on Temporal Representation and Reasoning : proceedings : Paris, France, 6-8 September 2010, sponsored by Laboratoire Spécification et Vérification [and others] ; edited by Nicolas Markey and Jef Wijsen
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE729667607
Extent
1 online resource (ix, 163 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Specific material designation
remote
System control number
  • ocn729667607
  • (OCoLC)729667607

Library Locations

Processing Feedback ...