Results 241 to 250 of about 87,998 (303)

Insight into medicinal chemistry behind traditional Chinese medicines: polybenzyls in Gastrodia elata. [PDF]

Nat Prod Bioprospect
Wang Y, Wang W, Zhang M, Zhu C, Xu C, Li X, Lei X, Guo Q, Shi J.   +8 more
europepmc   +1 more source

How can reasoning capability empower the AI copilot robot in endoscopic surgery. [PDF]

NPJ Digit Med
Wang G, Bai L, Ren H.
europepmc   +1 more source

Psychometric evaluation of the full and shortened versions of the WGCTA-II in Slovak university students. [PDF]

Front Psychol
Šeboková G, Ráczová L, Uhláriková J, Lukačková E, Sollár T.   +4 more
europepmc   +1 more source

A full formal representation of Arrow's impossibility theorem. [PDF]

PLoS One
Yamamoto K.
europepmc   +1 more source

A data-driven financial justification for an outpatient infectious diseases pharmacist. [PDF]

Antimicrob Steward Healthc Epidemiol
Kim JJ, Hernandez Guarin LN, Contreras J, Hayden MK, Won SY.   +4 more
europepmc   +1 more source

Site-Resolved Plasma-Protein Architecture of Infection Susceptibility: A Cis-pQTL Mendelian Randomization and Colocalization Study. [PDF]

Genes (Basel)
Ji S, Li T.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Gödel on Deduction

Studia Logica, 2017
25 ...
Kosta Dosen, Milos Adzic
openaire   +3 more sources

An integration of deductive retrieval into deductive synthesis

14th IEEE International Conference on Automated Software Engineering, 2003
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks.
Bernd Fischer 0002, Jon Whittle 0001
openaire   +2 more sources

Deductions with Meaning

2001
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity has a strong impact on the feasibility of any theorem prover for computational semantics.
Monz, C., de Rijke, M.
openaire   +3 more sources