skip to main content
Idioma:

Automatic theorem proving in paraconsistent logics theory and implementation

N A C Costa L J Henschen; J J Lu; V S Subrahmanian

São Paulo Iea-Usp 1990

Item não circula. Consulte sua biblioteca.(Acessar)

  • Título:
    Automatic theorem proving in paraconsistent logics theory and implementation
  • Autor: N A C Costa
  • L J Henschen; J J Lu; V S Subrahmanian
  • Assuntos: LÓGICA
  • Notas Locais: Documentos. Logica e Teoria da Ciencia, 3
  • Editor: São Paulo Iea-Usp
  • Data de criação/publicação: 1990
  • Formato: 15p.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  6 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.