Results 61 to 70 of about 11,559 (101)

Fuglede-Kadison determinant: theme and variations. [PDF]

open access: yesProc Natl Acad Sci U S A, 2013
de la Harpe P.
europepmc   +1 more source

Modeling formalisms in Systems Biology. [PDF]

open access: yesAMB Express, 2011
Machado D   +5 more
europepmc   +1 more source

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

open access: yesJ Autom Reason, 2018
Bancerek G   +6 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy