skip to main content

Sair
Identificação

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

Oxford 2014

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

Enviar para

Título:
Completeness for cut-based abduction
Autor: Alexandre Matos Arruda
Marcelo Finger; Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL) (16th, 2011, Petrópolis)
Assuntos: LÓGICA MATEMÁTICA
É parte de: Logic Journal of the IGPL Oxford v. 22, n. 2, p. 286-296, 2014
Notas: Disponível em: . Acesso em: 02 ago. 2017
Editor: Oxford
Data de criação/publicação: 2014
Formato: p. 286-296.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento