Refine your search
- Availability
-
Authors
- CHELLAS, Brian F. (1)
- MUSSER, David R. (1)
- SAINI, Atul (1)
-
Locations
-
Series
-
Topics
- Linguagens de programação (1)
- Lógica deôntica (1)
- Lógica matemática (1)
- Lógica modal (1)
- Modelos padrão (2)
- Show more