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
65
Semantics
44
Modal logic
32
Computer circuits
28
Software engineering
22
Fuzzy logic
20
Specifications
20
Algebra
18
Computational complexity
17
Algorithms
16
Calculations
16
Logic programming
16
Automata theory
15
Computation theory
14
Computer software
14
Linguistics
14
Model checking
14
Satisfiability
14
Data structures
12
Expressive power
12
Many valued logics
12
Reconfigurable hardware
12
Logic
11
Artificial intelligence
10
Deontic Logic
10
First order logic
10
Modal logics
10
Quantum logic
10
Temporal logic
10
Abstracting
8
-
61Publicado 2009Materias: “...Inductive logic programming...”
-
62Materias: “...Inductive logic programming...”
JOUR -
63
-
64Materias: “...Quantum logic...”
-
65Publicado 2008Materias: “...Quantum logic...”
-
66Materias: “...Quantum logic...”
JOUR -
67Materias: “...Quantum logic...”
JOUR -
68
-
69por Buacar, Natalia MarianaMaterias: “...logical inferentialism...”
Publicado 2018
Aportado por: Cuadernos de FilosofíaArtículo revista -
70por Buacar, Natalia MarianaMaterias: “...logical inferentialism...”
Publicado 2018
Artículo publishedVersion -
71
-
72Materias: “...Modal logics...”
-
73Materias: “...Modal logics...”
JOUR -
74
-
75
-
76Publicado 2006Materias: “...Probabilistic logics...”
-
77Materias: “...Probabilistic logics...”
JOUR -
78Materias: “...Dynamic logic...”
-
79Materias: “...Dynamic logic...”
JOUR -
80Materias: “...Computational logic...”