Search results for: Josef Urban
Global Change Biology > 28 > 9 > 3110 - 3144
Global Change Biology > 26 > 11 > 6616 - 6629
Biological Reviews > 94 > 4 > 1477 - 1501
New Phytologist > 218 > 4 > 1383 - 1392
European Journal of Forest Research > 2018 > 137 > 1 > 57-67
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to AISC 2010 > 132-146
Lecture Notes in Computer Science
Hydrological Processes > 30 > 13 > 2042 - 2049
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 298-300
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Formal Proof (Contributed) > 155-166
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 149-163
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 447-462
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 546-560
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 455-469
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IX: Migration > 346-360
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 263-277