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 et al. Automatic theorem proving in paraconsistent logics: theory and implementation. . São Paulo: Iea-Usp. . Acesso em: 24 abr. 2024. , 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 ;[citado 2024 abr. 24 ] -
Vancouver
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ;[citado 2024 abr. 24 ] - Suppes'set theoretical predicates
- New systems of predicate deontic logic
- Embora esteja claro no... [Prefácio]
- Reflexões para o homem da rua
- Este livro encerra parte... [Prefácio]
- Sistemas formais inconsistentes
- Filosofia da logica de francisco miro quesada
- Topicos de teoria dos sistemas ordenados
- Remarks on analogy
- The Schrödinger problem
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas