Automatic theorem proving in paraconsistent logics: theory and implementation (1990)
- Authors:
- Autor USP: COSTA, NEWTON CARNEIRO AFFONSO DA - FFLCH
- Unidade: FFLCH
- Assunto: LÓGICA
- Language: Inglês
- Imprenta:
- Descrição física: 15p
-
ABNT
COSTA, N A C; HENSCHEN, L J; LU, J J; SUBRAHMANIAN, V S. Automatic theorem proving in paraconsistent logics: theory and implementation. [S.l: s.n.], 1990. -
APA
Costa, N. A. C., Henschen, L. J., Lu, J. J., & Subrahmanian, V. S. (1990). Automatic theorem proving in paraconsistent logics: theory and implementation. São Paulo: Iea-Usp. -
NLM
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ; -
Vancouver
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ; - Este livro encerra parte... [Prefácio]
- Embora esteja claro no... [Prefácio]
- The Schrödinger problem
- A formally undecidable statement in classical eletromagnetic theory
- Sistemas formais inconsistentes
- Remarks on analogy
- Topicos de teoria dos sistemas ordenados
- Reflexões para o homem da rua
- Paraconsistência em informática e inteligência artificial
- Filosofia da logica de francisco miro quesada
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
