Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
3
Laws and legislation
3
Automata theory
2
Contract Verification
2
Contracts
2
Crime
2
Deontic
2
Deontic Logic
2
Interactive system
2
Model checking
2
Normative system
2
Semantics
2
Artificial intelligence
1
Automata-based formalisms
1
Automatic analysis
1
Blockchain
1
Computer aided software engineering
1
Computer circuits
1
Contract violation
1
Data structures
1
Deontic logic
1
Difference Bound Matrices
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Hypervolume approximation
1
Information systems
1
Interactive Systems
1
Kanger's Types
1
-
1
-
2
-
3
-
4
-
5
-
6