Results 111 to 120 of about 5,613 (178)

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Kolmogorovian versus Non-Kolmogorovian Probabilities in Contextual Theories. [PDF]

Entropy (Basel), 2021
Garola C.
europepmc   +1 more source

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry

International Symposium on Symbolic Computation in Software Science, 2016
P. Boutry, Gabriel Braun, Julien Narboux
semanticscholar   +1 more source

What John B. Watson Meant to B. F. Skinner: The 1979 Symposium. [PDF]

Perspect Behav Sci
Strapasson BA, Morris EK.
europepmc   +1 more source

The ambiguity of "true" in English, German, and Chinese. [PDF]

Asian J Philos
Reuter K.
europepmc   +1 more source

Neo-Russellian Abstractionism. [PDF]

Erkenntnis
Assadian B.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

Topology GeometRics for the generation of the RoccustyrnaTM molecule, a ligand targeted COVID-19-D614G sites.

, 2020
Grigoriadis I.
europepmc   +1 more source