Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
Automated Legislative Drafting
2
Laws and legislation
2
Action-based systems
1
Automata theory
1
Automated legislative drafting
1
Contract Synthesis
1
Contract Verification
1
Deontic Logic
1
Deontic logic
1
Formal analysis
1
Interactive system
1
Kanger's Types
1
Language constructs
1
Legal documents
1
Legal modeling
1
Model checking
1
Model checking regulations
1
Performance improvements
1
Real case
1
-
1
-
2
-
3