Results 1 to 10 of about 102 (101)
A Formalization of SQL with Nulls. [PDF]
J Autom Reason, 2022 Ricciotti W, Cheney J.
europepmc +1 more source
Tactics for mechanized reasoning: a commentary on Milner (1984) 'The use of machines to assist in rigorous proof'. [PDF]
Philos Trans A Math Phys Eng Sci, 2015 Gordon MJ.
europepmc +1 more source
The Higher-Order Prover Leo-II. [PDF]
J Autom Reason, 2015 Benzmüller C +3 more
europepmc +1 more source
On the history of Ludwig von Bertalanffy's "General Systemology", and on its relationship to cybernetics - part III: convergences and divergences. [PDF]
Int J Gen Syst, 2015 Drack M, Pouvreau D.
europepmc +1 more source
Quantitative methods in psychology: inevitable and useless. [PDF]
Front Psychol, 2010 Toomela A.
europepmc +1 more source
DIGITAL COMPUTATIONAL METHODS IN SYMBOLIC LOGIC, WITH EXAMPLES IN BIOCHEMISTRY. [PDF]
Proc Natl Acad Sci U S A, 1955 Ledley RS.
europepmc +1 more source
Improving early prediction of crop yield in Spanish olive groves using satellite imagery and machine learning. [PDF]
PLoS OneRamos MI +3 more
europepmc +1 more source