Results 151 to 160 of about 135,605 (213)

Quantifier elimination in the theory of L<sub>p</sub>(L<sub>q</sub>) Banach lattices

open access: yesJournal of Logic and Analysis, 2011
C Ward Henson, Yves Raynaud
doaj   +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

Weighted A-statistical convergence for sequences of positive linear operators. [PDF]

open access: yesScientificWorldJournal, 2014
Mohiuddine SA, Alotaibi A, Hazarika B.
europepmc   +1 more source

Home - About - Disclaimer - Privacy