Bender, Markus; Sofronie-Stokkermans, Viorica
Decision Procedures for Theories of Sets with MeasuresLeonardo de Moura (Hrsg). Automated Deduction - CADE-2626th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2017 S. 166 - 184
Brunn, Melanie; Oelmann, Yvonne
Decomposition of soil organic matter approximated by stable carbon isotopes: a meta-analysis2017
Ullrich, Peter
Dedekind and Weierstraß on hypercomplex numbersKatrin Scheel; Thomas Sonar; Peter Ullrich (Hrsg). In Memoriam Richard Dedekind (1831-1916): Number Theory - Algebra - Set Theory - History - Philosophy; Konferenzbeiträge aus Anlass des 100. Todestages, TU Braunschweig 6.-8. Oktober 2016. Münster: WTM 2017 S. 83 - 95
Blanchette, Jasmin Christian; Fuhs, Carsten; Sofronie-Stokkermans, Viorica et al.
Deduction Beyond First-Order LogicDagstuhl Reports. Bd. 7. H. 9. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017 S. 26 - 46
Sinsch, Ulrich; Böcking, Helen; Leskovar, Christoph et al.
Demography and lifetime growth patterns in viviparous salamanders (genus Lyciasalamandra): Living underground attenuates interspecific variationZoologischer Anzeiger - A Journal of Comparative Zoology. Bd. 269. München: Elsevier 2017 S. 48 - 56
Kremsner, Gertraud
Der babylonische Turm und seine Grundfesten: Überlegungen zum Kommunizieren und Artikulieren im Kontext der Konstruktion von „Anderen“Sabine Krause;Michelle Proyer;Oliver Koenig (Hrsg). Gesellschaften /Welten / Selbst im [Um]Bruch. Wien: Universität Wien 2017 S. 65 - 75
Hahnel, Carolin; Goldhammer, Frank; Kröhne, Ulf et al.
Der Einfluss kognitiver Basisfertigkeiten auf die Änderung der in PISA gemessenen LesekompetenzZeitschrift für Erziehungswissenschaft. Bd. 20. H. 2 supplement. Berlin: Springer 2017 S. 205 - 228
Ullrich, Peter
Der Mathematiker Richard Dedekind: Von Gauß und Dirichlet zu Noether und BourbakiKatrin Scheel; Thomas Sonar; Peter Ullrich (Hrsg). In Memoriam Richard Dedekind (1831-1916): Number Theory - Algebra - Set Theory - History - Philosophy; Konferenzbeiträge aus Anlass des 100. Todestages, TU Braunschweig 6.-8. Oktober 2016. Münster: WTM 2017 S. 8 - 25 (Schriften zur Geschichte der Mathematik und ihrer)
König, Dieter; Egidi, Harald; Herrmann, Marco et al.
Der Nationalpark Hunsrück-Hochwald - naturräumliche Ausstattung und anthropogene ÜberprägungRainer Graafen; Dieter König (Hrsg). Nationalpark Hunsrück-Hochwald: Koblenzer Geographisches Kolloquium - Sonderheft; 39. Jahrgang. Koblenz: Universität Koblenz-Landau, Institut für Integrierte Naturwissenschaften, Abteilung Geographie 2017 S. 5 - 40
Herr, Corinna; Jacobshagen, Arnold; Seedorf, Thomas
Der Tenor: Mythos - Geschichte - Gegenwart; Wissenschaftliche Tagung vom 27. bis 29. Mai 2011 an der Katholischen Akademie SchwerteWürzburg: Königshausen & Neumann 2017 253 S. (Musik - Kultur - Geschichte ; Band 8 (2017))