Cognitive Science
, Volume 6, 1982
Volume 6, 1982
Drew V. McDermott
: A Temporal Logic for Reasoning About Processes and Plans. 101-155
BibTeX
Copyright ©
Sat May 16 23:53:05 2009 by
Michael Ley
(
ley@uni-trier.de
)