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
64
Semantics
42
Modal logic
32
Computer circuits
28
Software engineering
21
Fuzzy logic
20
Specifications
19
Algebra
18
Calculations
16
Computational complexity
16
Logic programming
16
Automata theory
15
Algorithms
14
Model checking
14
Satisfiability
14
Computation theory
13
Computer software
13
Linguistics
13
Data structures
12
Expressive power
12
Many valued logics
12
Reconfigurable hardware
12
Artificial intelligence
10
Deontic Logic
10
First order logic
10
Modal logics
10
Quantum logic
10
Temporal logic
10
Alloy
8
Biomineralization
8
-
161Materias: “...Logic circuits...”
JOUR -
162
-
163Materias: “...Logic gates...”
-
164Materias: “...Logic gates...”
JOUR -
165Publicado 2015Materias: “...Geo logical evolution...”
-
166Materias: “...Geo logical evolution...”
JOUR -
167Materias: “...First order logic...”
-
168por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...First order logic...”
CONF -
169Materias: “...Formal logic...”
-
170
-
171por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
172
-
173Materias: “...Formal logic...”
JOUR -
174Materias: “...Temporal logic...”
SER -
175Publicado 2017Materias: “...Formal logic...”
-
176Publicado 1998Materias: “...Formal logic...”
-
177por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
178Materias: “...Formal logic...”
SER -
179Materias: “...Logical language...”
-
180Publicado 2015Materias: “...Logical characterization...”