Results 231 to 240 of about 237,519 (286)

Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp.

open access: closed, 1995
Markus Marzetta
openalex   +1 more source

From Semantics to Computer Science

open access: closed, 2009
Yves Bertot   +3 more
openalex   +1 more source

학술·연구정보가이드: Computer Science 분야 (03): Semantics; Artificial intelligence; Argumentation framework

open access: closed, 2020
팀 주제정보서비스
openalex  
Some of the next articles are maybe not open access.

Related searches:

Improving patient and caregiver outcomes in oncology: Team‐based, timely, and targeted palliative care

Ca-A Cancer Journal for Clinicians, 2018
David Hui   +2 more
exaly  

Patient navigation: An update on the state of the science

Ca-A Cancer Journal for Clinicians, 2011
Kristen J Wells
exaly  

Practical clinical interventions for diet, physical activity, and weight control in cancer survivors

Ca-A Cancer Journal for Clinicians, 2015
Wendy Demark-Wahnefried   +2 more
exaly  

Truth, Deduction, and Computation: Logic and Semantics for Computer Science

open access: closed, 1989
Ruth Davis
openalex  

Weight management and physical activity throughout the cancer care continuum

Ca-A Cancer Journal for Clinicians, 2018
Wendy Demark-Wahnefried   +2 more
exaly  

Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes

open access: closed, 1990
Irène Guessarian
openalex  

E. K. Blum. Towards a theory of semantics and compilers for programming languages. Journal of computer and system sciences, vol. 3 (1969), pp. 248–275.

open access: closed, 1975
David Park
openalex   +1 more source
computer science
semantics
metaphor
previous   22  23  24  25  26  

Home - About - Disclaimer - Privacy