Formalizing computational river networks
暂无分享,去创建一个
[1] Marc A. Auslander,et al. Systematic recursion removal , 1978, CACM.
[2] D. Stephenson. Mathematical modelling of water quality , 1988 .
[3] Jörg Schaller. Geographical information system applications in environmental impact assessment , 1990 .
[4] Kenneth D. Forbus. Qualitative Process Theory: Twelve Years After , 1993, Artif. Intell..
[5] Benjamin Kuipers,et al. Reasoning with Qualitative Models , 1993, Artif. Intell..
[6] J. Paul Tremblay,et al. Discrete Mathematical Structures with Applications to Computer Science , 1975 .