Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
2
Contract Verification
2
Contracts
2
Crime
2
Deontic
2
Deontic Logic
2
Interactive system
2
Laws and legislation
2
Semantics
2
Artificial intelligence
1
Automata theory
1
Automata-based formalisms
1
Blockchain
1
Computer circuits
1
Contract violation
1
Deontic logic
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Information systems
1
Interactive Systems
1
Kanger's Types
1
Monitoring
1
Normative Systems
1
Normative system
1
Permissions
1
Real time monitoring
1
Real time systems
1
Semantic gap
1
-
1Materias: “...Contracts...”
SER -
2Materias: “...Contracts...”
SER -
3Materias: “...Contract Verification...”
SER -
4Materias: “...Contract Verification...”
SER