ReP USP - Resultado da busca

Monografia/livro
Remarks on annotated logic (1991)
Costa, N A C; Abe, J M; Subrahmanian, U S
Unidade: FFLCH
Subjects: CIÊNCIA DA COMPUTAÇÃO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, N A C e ABE, J M e SUBRAHMANIAN, U S. Remarks on annotated logic. . Sao Paulo: Iea-Usp. . Acesso em: 26 jul. 2024. , 1991
APA
Costa, N. A. C., Abe, J. M., & Subrahmanian, U. S. (1991). Remarks on annotated logic. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Abe JM, Subrahmanian US. Remarks on annotated logic. 1991 ;[citado 2024 jul. 26 ]
Vancouver
Costa NAC, Abe JM, Subrahmanian US. Remarks on annotated logic. 1991 ;[citado 2024 jul. 26 ]
Monografia/livro
Set-theoretical foundations of categories in biology (1991)
Costa, N A C; Abe, J M; Papavero, Nelson
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 ABE, J M e PAPAVERO, Nelson. Set-theoretical foundations of categories in biology. . Sao Paulo: Iea-Usp. . Acesso em: 26 jul. 2024. , 1991
APA
Costa, N. A. C., Abe, J. M., & Papavero, N. (1991). Set-theoretical foundations of categories in biology. Sao Paulo: Iea-Usp.
NLM
Costa NAC, Abe JM, Papavero N. Set-theoretical foundations of categories in biology. 1991 ;[citado 2024 jul. 26 ]
Vancouver
Costa NAC, Abe JM, Papavero N. Set-theoretical foundations of categories in biology. 1991 ;[citado 2024 jul. 26 ]
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: 26 jul. 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 jul. 26 ]
Vancouver
Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ;[citado 2024 jul. 26 ]
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: 26 jul. 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 jul. 26 ]
Vancouver
Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2024 jul. 26 ]
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: 26 jul. 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 jul. 26 ]
Vancouver
Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2024 jul. 26 ]

USP Schools

ReP

Filtros

Authors