Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Specifications
6
Data structures
4
Formal logic
4
Satisfiability
4
Software engineering
4
Deontic logic
3
Formal methods
3
Temporal logic
3
Abstracting
2
Artificial intelligence
2
Atomic actions
2
Automata theory
2
Automated legislative drafting
2
Behaviour models
2
Biomineralization
2
Case studies
2
Complex data structures
2
Computer circuits
2
Computer software
2
Computer software reusability
2
Concretes
2
Declarative goals
2
Deontic Logic
2
Design notations
2
Dynamic logics
2
Engineering education
2
Event-based system
2
Final states
2
Fluents
2
-
1Publicado 2015Materias: “...Temporal logic...”
-
2
-
3Publicado 2017Materias: “...Deontic logic...”
-
4por Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F., Uriarte, V., Marcos, C., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; WeightmansMaterias: “...Deontic logic...”
CONF -
5
-
6por Acosta, Araceli NataliaMaterias: “...Deontic logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7Publicado 2009Materias: “...Logical language...”
-
8Materias: “...Logical language...”
SER -
9Publicado 1998Materias: “...Formal logic...”
-
10por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
11Materias: “...Formal logic...”
-
12Materias: “...Formal logic...”
JOUR -
13Publicado 2010Materias: “...Logic programming...”
-
14Materias: “...Logic programming...”
JOUR -
15Materias: “...Dynamic logics...”
-
16Materias: “...Dynamic logics...”
SER