43,865 results found (page 3 of 2925)
https://www.academia.edu/79181889/Evolutionary_analyses_guide_selection_of_model_systems_t…

bioRxiv preprint doi: https://doi.org/10.1101/795468. this version posted October 8, 2019. The copyright holder for this preprint (which was not certified by peer review) is the author/funder. It is made available under a CC-BY-NC-ND 4.0 International license. Evolutionary analys…

https://devel.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …

http://www.isa-afp.org

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle . It is organized in the way of a scientific journal, is indexed by dblp and has an ISSN: 2150-914x. Submissions are …