Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Waldmeister"”.
-
Einfluss der Bewirtschaftungsintensität auf die Wachstumsdynamik von Waldmeister-Buchenwäldern (Galio odorati-Fagetum)
… detaillierter Analysen zur Wachstumsdynamik von Waldmeister-Buchenwäldern (Galio odorati-Fagetum) ein Beitrag zur aktuellen Debatte um den Schutz und die Nutzung von Buchenwäldern in Norddeutschland geleistet. Dabei wurde der Frage nachgegangen, inwieweit Eingriffe in das Ökosystem Wald minimiert …
-
Rewriting Prover9
… and translate it into other formats, such as the Waldmeister format or the TPTP format. In this case, The TPTP format allows the translated file to be run by some well-known provers: E-Prover and Vampire. We called this application TranslatorX. Using the translation capability, we have included in …