Automatic theorem proving in paraconsistent logics: theory and implementation (1990)
Unidade: FFLCHAssunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C et al. Automatic theorem proving in paraconsistent logics: theory and implementation. . São Paulo: Iea-Usp. . Acesso em: 18 nov. 2024. , 1990APA
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 nov. 18 ]Vancouver
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ;[citado 2024 nov. 18 ]
