17th International Symposium on Temporal Representation and Reasoning
Subtitle: proceedings : Paris, France 6-8 September 2010
By: sponsored by Laboratoire Spécification et Vérification ... [et al.]. ; edited by Nicolas Markey and Jef Wijsen
Contributors: Markey, Nicolas, 1976-; Wijsen, Jef; Laboratoire Spécification et Vérification
Publisher: IEEE Computer Society
Published: 2009
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 163
ISBN-13: 9780769541877
Subjects: Artificial intelligence; Congresses; Reasoning; Temporal databases; Time
Other titles: Symposium on Temporal Representation and Reasoning; Temporal representation and reasoning; TIME 2010
Notes: "IEEE Computer Society order number P4187"--T.p. verso.

Includes bibliographical references and index.