[en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES

TEXTO

[pt] LÓGICA MODAL DE PRIMEIRA-ORDEM PARA RACIOCINAR SOBRE JOGOS

Registro en:

http://148.201.128.228:8080/xmlui/handle/20.500.12032/11949

https://repositorioslatinoamericanos.uchile.cl/handle/2250/6144809

Autor

DAVI ROMERO DE VASCONCELOS

Institución

Universidades Confiadas a la Compañía de Jesús en América Latina (Venezuela)

Materias

[pt] TEORIA DOS JOGOS

[pt] LOGICA MODAL DE PRIMEIRA-ORDEM

[pt] LOGICA PARA JOGOS

[pt] VERIFICACAO DE MODELOS

[pt] SISTEMAS MULTI-AGENTES

[en] GAME THEORY

[en] FIRST-ORDER MODAL LOGIC

[en] GAME LOGICS

[en] MODEL CHECKING

[en] MULTI-AGENT SYSTEMS

Mostrar el registro completo del ítem