Results 141 to 150 of about 2,771 (212)

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

This article explains the secrecy paradox, but don't tell anyone! [PDF]

Front Psychol
Bergman DM.
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

On a problem of Erdös and Tarski [PDF]

Fundamenta Mathematicae, 1964
openaire   +2 more sources

The Therapeutic Potential of Cefiderocol in the Treatment of Multidrug-Resistant Gram-Negative Bacteria: A Narrative Review. [PDF]

J Clin Med
Złotowska A, Buzun WH, Pełka K, Zalewska Z, Duszyńska W.   +4 more
europepmc   +1 more source

Horwich versus Tarski

The Reasoner, 2008
Hartley Slater
doaj  

Invariant sets and Knaster-Tarski principle

Open Mathematics, 2012
Leśniak Krzysztof
doaj   +1 more source

Bibliometrics beyond citations: introducing mention extraction and analysis. [PDF]

Scientometrics
Petrovich E, Verhaegh S, Bös G, Cristalli C, Dewulf F, van Gemert T, IJdens N.   +6 more
europepmc   +1 more source

Acerca do conceito de consequência lógica [PDF]

Princípios, 2001
Wagner de Campos Sanz (Tradutor), Alfred Tarski   +1 more
doaj