Zugriffe | |
---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 1080 |
April 2024 | Mai 2024 | Juni 2024 | Juli 2024 | August 2024 | September 2024 | Oktober 2024 | |
---|---|---|---|---|---|---|---|
Computer-Verified Foundations of Metaphysics and an Ontology of Natural Numbers in Isabelle/HOL | 41 | 40 | 35 | 43 | 44 | 60 | 17 |
Zugriffe | |
---|---|
dissertation_kirchner.pdf | 632 |
dissertation.pdf | 3 |
ThesisFinal.pdf | 1 |