Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
66
Semantics
18
Modal logic
14
Algebra
12
Calculations
10
Satisfiability
10
Computational complexity
9
Computer circuits
8
First order logic
8
Automata theory
7
Algorithms
6
Alloy
6
Computer programming languages
6
Computer science
6
Computer software
6
Data structures
6
Finite automata
6
Fork algebras
6
Iterative methods
6
Many valued logics
6
Software engineering
6
Theorem proving
6
Boolean functions
5
Propositional satisfiability
5
Automatic analysis
4
Automation
4
Backwards verification
4
Chaos theory
4
Chaotic iteration
4
Characterization
4
Buscar alternativas:
formal » forma (Expander búsqueda)
"Formal logic" » "Formal logica" (Expander búsqueda)
formal » forma (Expander búsqueda)
"Formal logic" » "Formal logica" (Expander búsqueda)
-
21Materias: “...Formal logic...”
-
22
-
23
-
24
-
25Publicado 2004Materias: “...Formal logic...”
-
26
-
27Materias: “...Formal logic...”
-
28Materias: “...Formal logic...”
JOUR -
29Publicado 2017Materias: “...Formal logic...”
-
30Publicado 1998Materias: “...Formal logic...”
-
31por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
32Materias: “...Formal logic...”
SER -
33Materias: “...Formal logic...”
-
34Materias: “...Formal logic...”
JOUR -
35
-
36Materias: “...Formal logic...”
JOUR -
37Materias: “...Formal logic...”
-
38Materias: “...Formal logic...”
JOUR -
39Materias: “...Formal logic...”
-
40Materias: “...Formal logic...”
SER