ReP USP - Resultado da busca

Monografia/livro
Topicos de teoria dos sistemas ordenados (1995)
Costa, N A C; Barros, C; Abe, J M
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C e BARROS, C e ABE, J M. Topicos de teoria dos sistemas ordenados. . Sao Paulo: Iea-Usp. . Acesso em: 08 nov. 2024. , 1995
APA
Costa, N. A. C., Barros, C., & Abe, J. M. (1995). Topicos de teoria dos sistemas ordenados. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 08 ]
Vancouver
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 08 ]
Monografia/livro
Topicos de teoria dos sistemas ordenados (1995)
Costa, N A C; Barros, C; Abe, J M
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C e BARROS, C e ABE, J M. Topicos de teoria dos sistemas ordenados. . Sao Paulo: Iea-Usp. . Acesso em: 08 nov. 2024. , 1995
APA
Costa, N. A. C., Barros, C., & Abe, J. M. (1995). Topicos de teoria dos sistemas ordenados. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 08 ]
Vancouver
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 08 ]
Monografia/livro
Automatic theorem proving in paraconsistent logics: theory and implementation (1990)
Costa, N A C; Henschen, L J; Lu, J J; Subrahmanian, V S
Unidade: FFLCH
Assunto: 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: 08 nov. 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 nov. 08 ]
Vancouver
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ;[citado 2024 nov. 08 ]
Monografia/livro
Remarks on analogy (1990)
Costa, N A C; Sette, A M
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C e SETTE, A M. Remarks on analogy. . Sao Paulo: Iea-Usp. . Acesso em: 08 nov. 2024. , 1990
APA
Costa, N. A. C., & Sette, A. M. (1990). Remarks on analogy. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2024 nov. 08 ]
Vancouver
Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2024 nov. 08 ]
Monografia/livro
Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases (1989)
Costa, N A C; Subrahmanian, V S
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C e SUBRAHMANIAN, V S. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. . Sao Paulo: Iea-Usp. . Acesso em: 08 nov. 2024. , 1989
APA
Costa, N. A. C., & Subrahmanian, V. S. (1989). Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2024 nov. 08 ]
Vancouver
Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2024 nov. 08 ]

USP Schools

ReP

Filtros

Authors