- Semantics of programming languages 14
- Semántica de lenguajes de programación 12
- Mathematical logic-Computation 6
- Deducción y prueba de teoremas 5
- Deduction and theorem proving 5
- Lenguajes de programación 5
- Lógica matemática-Computación 5
- Programming languages 5
- Formal languages 4
- Lenguajes formales 4
- Lógica matemática 4
- Mathematical logic 4
- Programas-Especificación 4
- Programs-Specification 4
- programación 4
- Automatic programming 3
- Language classifications 3
- Language constructs and features 3
- Logics and meanings of programs 3
- Lógica y significado de programas 3
- Programación automática 3
- Programación-Técnicas 3
- Programming techniques 3
- programming 3
- ANTROPOLOGIA 2
- Algebraic manipulation 2
- Clasificación de lenguajes 2
- Concurrent programming 2
- Formal definitions and theory 2
- Grammars and other rewriting systems 2
-
1
Handbook of logic in computer science /
Published 1992Table of Contents: “…Logical methods in computer science.…”
Book -
2
-
3
-
4
-
5
-
6
-
7
-
8
A comparison of preschool and elementary school children learning computer science concepts through a multilanguage robot programming platform
Published 2021Get full text
Get full text
info:eu-repo/semantics/publishedVersion -
9
-
10
-
11
-
12
-
13
-
14
-
15
Structural Locality, division criterion for the execution of non-Autonomous Petri Net on IP-Core
Published 2024Get full text
conferenceObject -
16
-
17
Ten frequent (and urgent) questions about computational thinking
Published 2020Get full text
Online -
18
-
19
-
20