- home
- Advanced Search
Advanced search in Research outcomes
Filters
Clear AllDigital Humanities and Cultural Heritage Publications Other research products 2012-2021 Open Access Netherlands Organisation for Scien... CZ Digital Humanities and Cultural He...
Filters
Clear AllDigital Humanities and Cultural Heritage Publications Other research products 2012-2021 Open Access Netherlands Organisation for Scien... CZ Digital Humanities and Cultural He...
Loading
- publication . Article . Other literature type . 2017Open Access EnglishAuthors:Moretti, M.; Dias, Andre T. C.; de Bello, Francesco; Altermatt, F.; Chown, S.L.; Chown, S.L.; Azcárate, Francisco M.; Bell, J.R.; Fournier, B.; Hedde, M.; ...Persistent IdentifiersPublisher: HAL CCSDCountries: Netherlands, Netherlands, United Kingdom, France, Spain, SwitzerlandProject: SNSF | Festkörperphysik und -che... (2000-053789), SNSF | Bridging biodiversity and... (PP00P3_150698), NWO | Evolutionary loss of trai... (2300175957), SNSF | Function and regulation o... (PBSKP3_140101)
Trait-based approaches are increasingly being used to test mechanisms underlying species assemblages and biotic interactions across a wide range of organisms including terrestrial arthropods and to investigate consequences for ecosystem processes. Such an approach relie...
Add to ORCID Please grant OpenAIRE to access and update your ORCID works.This research outcome is the result of merged research outcomes in OpenAIRE.
You have already added works in your ORCID record related to the merged research outcome. - publication . Part of book or chapter of book . 2015Open AccessAuthors:Kaliszyk, C.; Urban, J.; Vyskočil, J.; Urban, C.; Zhang, X.;Persistent Identifiers
handle: 2066/143744
Publisher: Springer International PublishingCountry: NetherlandsProject: NWO | Knowledge-based Automated... (2300175473), FWF | Interactive Proof: Proof ... (P 26201)One of the first big hurdles that mathematicians encounter when considering writing formal proofs is the necessity to get acquainted with the formal terminology and the parsing mechanisms used in the large ITP libraries. This includes the large number of formal symbols,...
Add to ORCID Please grant OpenAIRE to access and update your ORCID works.This research outcome is the result of merged research outcomes in OpenAIRE.
You have already added works in your ORCID record related to the merged research outcome. - other research product . 2017Open Access CzechAuthors:Kocour, Matěj;Publisher: Západočeská univerzita v PlzniCountry: Czech RepublicProject: NWO | Towards inline 2D surface... (2300188781)
Práce se věnuje vzniku, průběhu a důsledkům čtyř posloupných válek v Africe na Zlatonosném pobřeží. Ve válkách se zajímavě kloubily zájmy afrických království a obchodní rivalita evropských států v regionu, jmenovitě Anglie a Spojených provincií. Práce války popisuje hl...