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