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

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Localização: IME - Inst. Matemática e Estatística (PROD-2276088 )(Acessar)

IME - Inst. Matemática e Estatística (PROD-2276088 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
IME-Inst. Mat. e Estatística	PROD-2276088		Item disponível	2276088-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-2276088 Status: Item disponível Código de Barras: 2276088-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula

Voltar para lista de resultados