Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
Laws and legislation
6
Artificial intelligence
4
Contract Verification
4
Action-based systems
2
Automata theory
2
Automata-based formalisms
2
Automatic analysis
2
Contract Synthesis
2
Formal Semantics
2
Formal analysis
2
Formal methods
2
Formal studies
2
Interactive system
2
Kanger's Types
2
Legal documents
2
Model Checking Regulations
2
Model checker
2
Model checking
2
Normative system
2
Permissions
2
Semantics
2
Software Specification
2
Strictness analysis
2
Toolsets
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8