Completeness for cut-based abduction

• Autor(es): Finger, Marcelo
• Data: 2014
• Origem: Oasisbr
• Assunto(s): LÓGICA MATEMÁTICA
• Tipo de Documento: Artigo científico
• Idioma: Inglês