Results 251 to 260 of about 493,809 (298)

Duality in Computer Science *

Logic in Computer Science, 2016
M. Gehrke
semanticscholar   +1 more source

Coalgebraic Methods in Computer Science

Lecture Notes in Computer Science, 2016
J. Kittler, John C. Mitchell, M. Naor
semanticscholar   +1 more source

Qualitative versus quantitative fixed point techniques in computer science

, 2017
M. Lopez-Ramirez, Ó. Valero
semanticscholar   +1 more source

Jones, N. D. (ed.), Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, 1980; Lecture Notes in Computer Science 94, Berlin-Heidelberg-New York, Springer-Verlag 1980. V, 489 S., 34 Abb., DM 45,50. US $ 26.90. ISBN 3-540-10250-7

, 1981
P. Bachmann
openalex   +1 more source

Handbook of theoretical computer science: v. A: Algorithms and complexity; v. B: Formal models and semantics

, 1991

openalex   +1 more source

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.

, 1995
Markus Marzetta
openalex   +1 more source

COLLABORATIVE LEARNING BASED ON SEMANTIC TECHNOLOGIES. AN EXPERIENCE IN COMPUTER SCIENCE ENGINEERING

EDULEARN proceedings, 2017
Sandra Baldassarri, Pedro Álvarez
openaire   +2 more sources

Topological Models, Computer Science Semantics and Applications of Logic in AI

, 2019
Yiannis Kiouvrekis, Ιωάννης Κιουβρέκης   +1 more
openalex   +1 more source

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

, 2020
팀 주제정보서비스
openalex  

Handbook of theoretical computer science : J. van Leeuwen, ed., Vol. A: Algorithms and Complexity, Vol. B: Formal Methods and Semantics (Elsevier, Amsterdam, 1990), 2296 pp., hardcover, Dfl. 555.00

Artif. Intell. Medicine, 1992
D. B. Czerbo
semanticscholar   +1 more source