Ecosystem Services and River Basin Ecohydrology || Assessing the Impact of Land-Use Changes on Providing Hydrological Ecosystem Functions (ESF) and Services (ESS) – A Case-Study Experience Based Conceptual Framework
- 作者Chicharo, Luis; Müller, Felix; Fohrer, Nicola
- 文件大小905.89KB
- 发表时间2015
- DOI10.1007/978-94-017-9846-4_9
- 页码181-200
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 ||Felty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || System Description: E.T. 0.1Felty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Expressing Symmetry Breaking in DRAT ProofsFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || SEPIA: Search for Proofs Using Inferred AutomataFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || History and Prospects for First-Order Automated DeductionFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Tableaux Methods for Propositional Dynamic Logics with Separating Parallel CompositionFelty, Amy P.; Middeldorp, Aart · 2015
[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 || Automated Theorem Proving for Assertions in Separation Logic with All ConnectivesFelty, Amy P.; Middeldorp, Aart · 2015