Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Linguistics
Heidelberg (CO)
6
Alloy languages
4
Atomic transition
4
Autopilot systems
4
Cerium alloys
4
Computer software
4
Dynamic logic
4
Example based
4
Expressive power
4
Fuzzy logic
4
Information theory
4
International (CO)
4
Logical language
4
Operational languages
4
Requirements specifications
4
SAT-solving
4
Software engineering
4
Specifications
4
Tabular expressions
4
Tabular notation
4
Tabular specifications
4
Test harness
4
Automata theory
2
Biomineralization
2
Bisimulation
2
Bound variables
2
Calculations
2
Canning
2
Classical logics
2
-
1por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Hybrid logics...”
Publicado 2008
-
2Materias: “...Hybrid logics...”
SER -
3Materias: “...Classical logics...”
-
4Materias: “...Classical logics...”
SER -
5Materias: “...Computational logic...”
-
6Materias: “...Computational logic...”
SER -
7Publicado 2009Materias: “...Logical language...”
-
8Materias: “...Logical language...”
SER -
9Publicado 2008Materias: “...Programmable logic controllers...”
-
10Materias: “...Programmable logic controllers...”
SER -
11
-
12Materias: “...Dynamic logic...”
Artículo publishedVersion -
13Materias: “...Dynamic logic...”
Artículo publishedVersion -
14Materias: “...Dynamic logic...”
SER