ReP USP - Resultado da busca

Monografia/livro
Paralog: um prolog paraconsistente baseado em logica anotada (1995)
Costa, Newton Carneiro Affonso da; Prado, J P A; Abe, Jair Minoro; Avila, B C; Rillo, Márcio (Editor)
Unidades: FFLCH, EP
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da et al. Paralog: um prolog paraconsistente baseado em logica anotada. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1995
APA
Costa, N. C. A. da, Prado, J. P. A., Abe, J. M., & Avila, B. C. (1995). Paralog: um prolog paraconsistente baseado em logica anotada. São Paulo: Iea-USP.
NLM
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1995
APA
Costa, N. A. C., Barros, C., & Abe, J. M. (1995). Topicos de teoria dos sistemas ordenados. São Paulo: Iea-USP.
NLM
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1995
APA
Costa, N. A. C., Barros, C., & Abe, J. M. (1995). Topicos de teoria dos sistemas ordenados. São Paulo: Iea-USP.
NLM
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1991
APA
Costa, N. A. C., Abe, J. M., & Subrahmanian, U. S. (1991). Remarks on annotated logic. São Paulo: Iea-USP.
NLM
Costa NAC, Abe JM, Subrahmanian US. Remarks on annotated logic. 1991 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Abe JM, Subrahmanian US. Remarks on annotated logic. 1991 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1991
APA
Costa, N. A. C., Abe, J. M., & Papavero, N. (1991). Set-theoretical foundations of categories in biology. São Paulo: Iea-USP.
NLM
Costa NAC, Abe JM, Papavero N. Set-theoretical foundations of categories in biology. 1991 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Abe JM, Papavero N. Set-theoretical foundations of categories in biology. 1991 ;[citado 2025 nov. 27 ]
Monografia/livro
Topicos de teoria dos sistemas ordenados (1) (1991)
Costa, N A C; Barros, C M; 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 M e ABE, J M. Topicos de teoria dos sistemas ordenados (1). . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1991
APA
Costa, N. A. C., Barros, C. M., & Abe, J. M. (1991). Topicos de teoria dos sistemas ordenados (1). São Paulo: Iea-USP.
NLM
Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1990
APA
Costa, N. A. C., & Sette, A. M. (1990). Remarks on analogy. São Paulo: Iea-USP.
NLM
Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2025 nov. 27 ]
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. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1989
APA
Costa, N. A. C., & Subrahmanian, V. S. (1989). Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. São Paulo: Iea-USP.
NLM
Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2025 nov. 27 ]
Vancouver
Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2025 nov. 27 ]

USP Schools

ReP

Filtros

Authors