[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || Deductive and Inductive Reasoning on Spatio-Temporal Data
Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar
- 作者Seipel, Dietmar; Hanus, Michael; Geske, Ulrich; Bartenstein, Oskar
- 文件大小197.76KB
- 发表时间2005
- DOI10.1007/11415763_7
- 页码98-115