Results 91 to 100 of about 382 (168)

Peano: learning formal mathematical reasoning. [PDF]

open access: yesPhilos Trans A Math Phys Eng Sci, 2023
Poesia G, Goodman ND.
europepmc   +1 more source

A commutativity theorem

open access: yesJournal of Algebra, 1976
openaire   +1 more source

Enhancement of properties in Mizar. [PDF]

open access: yesPeerJ Comput Sci, 2020
KorniƂowicz A.
europepmc   +1 more source

Home - About - Disclaimer - Privacy