Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
The complexity of verifying population protocols. [PDF]
Distrib Comput, 2021 Esparza J +3 more
europepmc +1 more source
A Boolean-based machine learning framework identifies predictive biomarkers of HSP90-targeted therapy response in prostate cancer. [PDF]
Front Mol Biosci, 2023 Shin SY +6 more
europepmc +1 more source
Proof Theorie: Some applications of cut-elimination [PDF]
, 1977 Barwise, J., Schwichtenberg, Helmut
core +1 more source
Austrian economics without extreme apriorism: construing the fundamental axiom of praxeology as analytic. [PDF]
Synthese, 2021 Linsbichler A.
europepmc +1 more source
Thomas Kuhn and Science Education: Learning from the Past and the Importance of History and Philosophy of Science. [PDF]
Sci Educ (Dordr), 2022 Matthews MR.
europepmc +1 more source
Surgery formulae for the Seiberg-Witten invariant of plumbed 3-manifolds. [PDF]
Rev Mat Complut, 2020 László T, Nagy J, Némethi A.
europepmc +1 more source
Statistical Mechanics and Thermodynamics: Boltzmann's versus Planck's State Definitions and Counting †. [PDF]
Entropy (Basel), 2021 Enders P.
europepmc +1 more source
Extraction of Expansion Trees. [PDF]
J Autom Reason, 2019 Leitsch A, Lolic A.
europepmc +1 more source