Detalhes do Documento

Towards automated first-order abduction: the cut-based approach

Autor(es): Finger, Marcelo

Data: 2012

Origem: Oasisbr

Assunto(s): LÓGICA DE PRIMEIRA ORDEM; LÓGICA DE PRIMEIRA ORDEM; LÓGICA DE PRIMEIRA ORDEM


Tipo de Documento Artigo científico
Idioma Inglês
facebook logo  linkedin logo  twitter logo 
mendeley logo

Documentos Relacionados