Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Distributed knowledge
Artificial intelligence
1
Authorization languages
1
Computer science
1
Constructive logic
1
DKAL
1
Datalog
1
Decision algorithms
1
Distributed authorization
1
Embedding
1
First-order
1
Formal logic
1
Intuitionistic logic
1
Linear time
1
Model Extraction
1
Non-trivial
1
PIV
1
Propositional logic
1
Root cause
1
Satisfiability modulo Theories
1
Technical presentations
1
Translation (languages)
1
Z3
1
infon logic
1
translation
1
-
1Materias: “...Distributed knowledge...”
SER -
2