Erscheinungsjahr
Format
Lizenz
Sprache
-
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
Urban, Josef | Springer Verlag | 2006 -
Within-canopy variation in needle morphology and anatomy of vascular tissues in a sparse Scots pine forest
Gebauer, Roman / Čermák, Jan / Plichta, Roman et al. | Online Contents | 2015 -
Within-canopy variation in needle morphology and anatomy of vascular tissues in a sparse Scots pine forest
Gebauer, Roman / Čermák, Jan / Plichta, Roman et al. | Online Contents | 2015 -
Within-canopy variation in needle morphology and anatomy of vascular tissues in a sparse Scots pine forest
Freier ZugriffGebauer, Roman / Cermak, Jan / Plichta, Roman et al. | BASE | 2015 -
Wikis and Collaborative Systems for Large Formal Mathematics
Kaliszyk, Cezary / Urban, Josef | Springer Verlag | 2016 -
Wikis and Collaborative Systems for Large Formal Mathematics
Kaliszyk, Cezary / Urban, Josef | British Library Conference Proceedings | 2016 -
Untersuchung über das pH-Wert-abhängige Wachstum von Staphylococcus epidermidis und Staphylococcus aureus in kontinuierlicher Kultur
Urban, Josef | Katalog Medizin | 1990 -
Two-particle Bose–Einstein correlations in ${ pp }$ collisions at $\mathbf {\sqrt{s} = 13}$ TeV measured with the ATLAS detector at the LHC
Aad, Georges / Abbott, Braden Keim / Abbott, Dale et al. | DataCite | 2022 -
Two-particle Bose–Einstein correlations in ${ pp }$ collisions at $\mathbf {\sqrt{s} = 13}$ TeV measured with the ATLAS detector at the LHC
Aad, Georges / Abbott, Braden Keim / Abbott, Dale et al. | DataCite | 2022 -
Tree differences in primary and secondary growth drive convergent scaling in leaf area to sapwood area across Europe
Petit, Giai / von Arx, Georg / Kiorapostolou, Natasa et al. | Wiley | 2018 -
Tree allometry of Douglas fir and Norway spruce on a nutrient-poor and a nutrient-rich site
Urban, Josef / Holušová, Kateřina / Menšík, Ladislav et al. | Online Contents | 2012 -
Tree allometry of Douglas fir and Norway spruce on a nutrient-poor and a nutrient-rich site
Urban, Josef / Holušová, Kateřina / Menšík, Ladislav et al. | Online Contents | 2012 -
Transpiration and stomatal conductance of mistletoe (Loranthus europaeus) and its host plant, downy oak (Quercus pubescens)
Urban, Josef / Gebauer, Roman / Nadezhdina, Nadezhda et al. | Online Contents | 2012 -
Translating SUMO-K to Higher-Order Set Theory
Freier ZugriffBrown, Chad / Pease, Adam / Urban, Josef | ArXiv | 2023 -
Translating SUMO-K to Higher-Order Set Theory
Freier ZugriffBrown, Chad E. / Pease, Adam / Urban, Josef | Springer Verlag | 2023 -
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
Freier ZugriffIndrzejczak, Andrzej | Springer Verlag | 2023Beteiligte: Urban, Josef -
Towards Finding Longer Proofs
Zombori, Zsolt / Csiszárik, Adrián / Michalewski, Henryk et al. | Springer Verlag | 2021 -
Towards Finding Longer Proofs
Freier ZugriffZombori, Zsolt / Csiszárik, Adrián / Michalewski, Henryk et al. | ArXiv | 2019 -
Towards Finding Longer Proofs
Zombori, Zsolt / Csiszárik, Adrián / Michalewski, Henryk et al. | TIBKAT | 2021
Suchergebnisse als E-Mail versenden
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.