Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Data structures
3
Modal logic
3
Computer science
2
Linguistics
2
Logical language
2
Model checking
2
Relational Model
2
Abstracting
1
Additional datum
1
Alloy analyzers
1
Alloys
1
Authorization languages
1
Automata theory
1
Automated Legislative Drafting
1
Automatic analysis
1
Biomineralization
1
Bisimulation
1
Complete axiomatizations
1
Computability and decidability
1
Computation theory
1
Computer circuits
1
Contour followers
1
DKAL
1
Definability
1
Distributed authorization
1
Distributed knowledge
1
Embedding
1
Expressive power
1
Fast approximation
1
First-order
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7