Results 1 to 10 of about 132 (130)

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, Sultana N, Paulson LC, Theiß F.   +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

The 'Automated Versatile Modular Reactor': construction and use. [PDF]

J Automat Chem, 1987
Porte C, Roussin D, Bondiou JC, Hodac F, Delacroix A.   +4 more
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 One
Ramos MI, Cubillas JJ, Córdoba RM, Ortega LM.   +3 more
europepmc   +1 more source

Spatial-temporal characteristics and influence factors of high-quality development of animal husbandry industry in China. [PDF]

PLoS One
Su T, Li C.
europepmc   +1 more source