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