Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
Autor(es): RICARDO QUEIROZ DE ARAUJO FERNANDES
Orientador (es) : EDWARD HERMANN HAEUSLER
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: GRADUATE PROGRAM IN COMPUTER SCIENCE
Área: COMPUTER THEORY
Banca: EDWARD HERMANN HAEUSLER - PUC-RIO
LUIZ CARLOS PINHEIRO DIAS PEREIRA - PUC-RIO
ALEX DE VASCONCELLOS GARCIA - IME
RUY JOSE GUERRA BARRETO DE QUEIROZ - UFPE
MARIO ROBERTO F BENEVIDES - UFRJ
Vocabulário: LOGIC
NATURAL DEDUCTION
Apresentação: 10/AGO/2012
Aceitação: 10/AGO/2012
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 F363p