[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Practical First-Order Temporal Reasoning
Dixon, Clare, Fisher, Michael, Konev, Boris, Lisitsa, AlexeiYear:
2008
Language:
english
DOI:
10.1109/time.2008.15
File:
PDF, 301 KB
english, 2008