Document details

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

Author(s): Finger, Marcelo

Date: 2012

Origin: Oasisbr

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


Document Type Journal article
Language English
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents