Results 311 to 320 of about 2,494,307 (343)

Proof theory and semantics of logic programs

[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989
H. Gaifman, E. Shapiro
semanticscholar   +1 more source

Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic

Ca-A Cancer Journal for Clinicians, 2011
Timothy A Yap, Johann Sebastian de Bono
exaly  

Machine Checking Proof Theory: An Application of Logic to Logic

Indian Conference on Logic and Its Applications, 2009
R. Goré
semanticscholar   +1 more source

Cancer screening, prevention, and treatment in people with mental illness

Ca-A Cancer Journal for Clinicians, 2016
Ana Stefancic, Amy T Cunningham, Richard C Wender   +2 more
exaly  

Derivation of asymptotic crossing domains for multiparticle processes in axiomatic quantum field theory: A general approach and a complete proof for 2→3 particle processes

, 1986
J. Bros
openalex   +1 more source

Palliative radiotherapy at the end of life: A critical review

Ca-A Cancer Journal for Clinicians, 2014
Edward Chow
exaly  

ML Systems: A Proof Theory for Contexts

Journal of Logic, Language and Information, 2002
L. Serafini, Fausto Giunchiglia
semanticscholar   +1 more source

Micrometastatic cancer cells in lymph nodes, bone marrow, and blood: Clinical significance and biologic implications

Ca-A Cancer Journal for Clinicians, 2014
William W Tseng
exaly  

The American Cancer Society 2035 challenge goal on cancer mortality reduction

Ca-A Cancer Journal for Clinicians, 2019
Jiemin, Ahmedin Jemal Dvm, Farhad Islami
exaly  

Cancer Risk Elicitation and Communication: Lessons from the Psychology of Risk Perception

Ca-A Cancer Journal for Clinicians, 2007
William M P Klein, Michael E Stefanek
exaly