[Springer Geography] Impacts of Land-use Change on Ecosystem Services || Reviews on Impact Assessments of Land-Use Change on Key Ecosystem Services
- 作者Zhan, Jinyan
- 文件大小538.44KB
- 发表时间2015
- DOI10.1007/978-3-662-48008-3_1
- 页码1-35
[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