Menu

Filtros : "LÓGICA" "Iea-Usp" Limpar

Filtros

Refine with date range

  • 1

1 - 9 (9 records)

  • 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

    How to cite
    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. . Sao Paulo: Iea-Usp. . Acesso em: 11 nov. 2024. , 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. Sao Paulo: Iea-Usp.

    • NLM

      Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2024 nov. 11 ]

    • Vancouver

      Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2024 nov. 11 ]

  • Monografia/livro

    Topicos de teoria dos sistemas ordenados (1995)

    Costa, N A C; Barros, C; Abe, J M

    Unidade: FFLCH

    Assunto: LÓGICA

    How to cite
    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: 11 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. 11 ]

    • Vancouver

      Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 11 ]

  • Monografia/livro

    Topicos de teoria dos sistemas ordenados (1995)

    Costa, N A C; Barros, C; Abe, J M

    Unidade: FFLCH

    Assunto: LÓGICA

    How to cite
    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: 11 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. 11 ]

    • Vancouver

      Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 nov. 11 ]

  • 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

    How to cite
    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: 11 nov. 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 nov. 11 ]

    • Vancouver

      Costa NAC, Abe JM, Subrahmanian US. Remarks on annotated logic. 1991 ;[citado 2024 nov. 11 ]

  • Monografia/livro

    Set-theoretical foundations of categories in biology (1991)

    Costa, N A C; Abe, J M; Papavero, Nelson

    Unidade: FFLCH

    Assunto: LÓGICA

    How to cite
    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: 11 nov. 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 nov. 11 ]

    • Vancouver

      Costa NAC, Abe JM, Papavero N. Set-theoretical foundations of categories in biology. 1991 ;[citado 2024 nov. 11 ]

  • 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

    How to cite
    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). . Sao Paulo: Iea-Usp. . Acesso em: 11 nov. 2024. , 1991

    • APA

      Costa, N. A. C., Barros, C. M., & Abe, J. M. (1991). Topicos de teoria dos sistemas ordenados (1). Sao Paulo: Iea-Usp.

    • NLM

      Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2024 nov. 11 ]

    • Vancouver

      Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2024 nov. 11 ]

  • 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

    How to cite
    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: 11 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. 11 ]

    • Vancouver

      Costa NAC, Henschen LJ, Lu JJ, Subrahmanian VS. Automatic theorem proving in paraconsistent logics: theory and implementation. 1990 ;[citado 2024 nov. 11 ]

  • Monografia/livro

    Remarks on analogy (1990)

    Costa, N A C; Sette, A M

    Unidade: FFLCH

    Assunto: LÓGICA

    How to cite
    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: 11 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. 11 ]

    • Vancouver

      Costa NAC, Sette AM. Remarks on analogy. 1990 ;[citado 2024 nov. 11 ]

  • 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

    How to cite
    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: 11 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. 11 ]

    • Vancouver

      Costa NAC, Subrahmanian VS. Paraconsistent logics as a formalism por reasoning about inconsistent knowledge bases. 1989 ;[citado 2024 nov. 11 ]
  • 1

1 - 9 (9 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024