Idioma:

Completeness for cut-based abduction

Alexandre Matos Arruda Marcelo Finger; Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL) (16th, 2011, Petrópolis)

Logic Journal of the IGPL Oxford v. 22, n. 2, p. 286-296, 2014

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

IME - Inst. Matemática e Estatística (PROD-2454459 ) 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-2454459		Item disponível	2454459-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-2454459 Status: Item disponível Código de Barras: 2454459-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula Exemplar: 1

Voltar para lista de resultados

Anterior Resultado 2 Avançar Ir para próxima página