Filtros : "Costa, N A C" "FFLCH-FLF" Removidos: "FILMES FINOS" "NAVARRO, MARIA FIDELA DE LIMA" "USP" Limpar

Filtros



Limitar por data


  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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: 26 jul. 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 jul. 26 ]
    • Vancouver

      Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 jul. 26 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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: 26 jul. 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 jul. 26 ]
    • Vancouver

      Costa NAC, Barros C, Abe JM. Topicos de teoria dos sistemas ordenados. 1995 ;[citado 2024 jul. 26 ]
  • Unidade: FFLCH

    Assuntos: CIÊNCIA DA COMPUTAÇÃO, LÓGICA

    Como citar
    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 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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: 26 jul. 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 jul. 26 ]
    • Vancouver

      Costa NAC, Barros CM, Abe JM. Topicos de teoria dos sistemas ordenados (1). 1991 ;[citado 2024 jul. 26 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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 ]
  • Unidade: FFLCH

    Assunto: LÓGICA

    Como citar
    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 ]

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024