Results 171 to 180 of about 231,992 (188)

R. E. Davis. Truth, deduction, and computation. Logic and semantics for computer science. Principles of computer science series. Computer Science Press, New York1989, xv + 265 pp.

Journal of Symbolic Logic, 1992
openaire   +1 more source

Semantic Waves: A Strategy for Algorithmic Skills in K-12 Computer Science Education

2024 IEEE Global Engineering Education Conference (EDUCON)
Frauke Ritter, Bernhard Standl
openaire   +1 more source

A Study on Content-based Reviewer Assignment in the Semantic Web and Computer Science Domains

Computación y Sistemas
Farid Bagheri, Davide Buscaldi, Diego Reforgiato Recupero   +2 more
openaire   +2 more sources

Theoretical Computer Science

Lecture Notes in Computer Science, 1982
exaly  

Kazimierz Subieta and Marek Missala: Semantics of query languages for the entity-relationship model, Institute of Computer Science Polish Academy of Sciences, Warsaw, May, 1986

Decision Support Systems, 1987
exaly  

Truth, deduction, and computation - logic and semantics for computer science.

2011
openaire  

Game Semantics in Teaching of Classical First Order Predicate Logic to Stu- dents of Computer Science

MATEC Web of Conferences, 2018
exaly  

CSO++ broadening computer science at the entry level: linguistics, computer science, and the semantic web.

J. Comput. Sci. Coll.
Judith Bayard Cushing, Rachel Hastings, Brian L. Walter   +2 more
openaire   +1 more source

Computer Science Logic

Lecture Notes in Computer Science, 2002
exaly  

A comparison of step-semantics of Statecharts, Theoretical Computer Science

2003
MAGGIOLO SCHETTINI A., PERON, ADRIANO, TINI S.   +2 more
openaire   +2 more sources