Results 81 to 90 of about 27,374 (212)

Human verifications: Computable with truth values outside logic. [PDF]

open access: yesProc Natl Acad Sci U S A, 2023
Johnson-Laird PN   +2 more
europepmc   +1 more source

Programmatic Manipulation of Common Lisp Type Specifiers [PDF]

open access: green, 2017
Jim E. Newton   +2 more
openalex   +1 more source

Improving protein interaction prediction in GenPPi: a novel interaction sampling approach preserving network topology. [PDF]

open access: yesBMC Bioinformatics
Silva A   +8 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy