ETDs @PUC-Rio
| Título: | LÓGICA MODAL DE PRIMEIRA-ORDEM PARA RACIOCINAR SOBRE JOGOS | ||
| Autor(es): |
DAVI ROMERO DE VASCONCELOS |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | PPG EM INFORMÁTICA | ||
| Área: | TEORIA DA COMPUTAÇÃO | ||
| Banca: |
EDWARD HERMANN HAEUSLER - PUC-RIO MARCELO DA SILVA CORREA - UFF PAULO BLAUTH MENEZES - UFRGS EDUARDO SANY LABER - PUC-RIO PAULO AUGUSTO SILVA VELOSO - UFRJ MARIO ROBERTO F BENEVIDES - UFRJ GEIZA MARIA HAMAZAKI DA SILVA - PUC-RIO |
||
| Vocabulário: | LOGICA MODAL DE PRIMEIRA-ORDEM LOGICA PARA JOGOS SISTEMAS MULTI-AGENTES TEORIA DOS JOGOS VERIFICACAO DE MODELOS |
||
| Apresentação: | 02/ABR/2007 | ||
| Aceitação: | 02/ABR/2007 | ||
| Sistema de Biblioteca: | PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM | ||
| Número de Chamada: | 004 V331L | ||