Menu

Filtros : "PROGRAMAÇÃO LÓGICA" "2001" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Relatorio tecnico

    Towards a logic of perishable propositions (2001)

    Silva, Flávio Soares Corrêa da

    Unidade: IME

    Assunto: PROGRAMAÇÃO LÓGICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, Flávio Soares Corrêa da. Towards a logic of perishable propositions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf. Acesso em: 09 nov. 2025. , 2001

    • APA

      Silva, F. S. C. da. (2001). Towards a logic of perishable propositions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf

    • NLM

      Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf

    • Vancouver

      Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf

  • Artigo de periodico

    Facts, arguments, annotations and reasoning (2001)

    Carbogim, Daniela Vasconcelos; Silva, Flávio Soares Corrêa da

    Source: New Generation Computing. Unidade: IME

    Subjects: PROGRAMAÇÃO LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CARBOGIM, Daniela Vasconcelos e SILVA, Flávio Soares Corrêa da. Facts, arguments, annotations and reasoning. New Generation Computing, v. 19, n. 1, p. 1-22, 2001Tradução . . Disponível em: https://doi.org/10.1007/bf03037532. Acesso em: 09 nov. 2025.

    • APA

      Carbogim, D. V., & Silva, F. S. C. da. (2001). Facts, arguments, annotations and reasoning. New Generation Computing, 19( 1), 1-22. doi:10.1007/bf03037532

    • NLM

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/bf03037532

    • Vancouver

      Carbogim DV, Silva FSC da. Facts, arguments, annotations and reasoning [Internet]. New Generation Computing. 2001 ; 19( 1): 1-22.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1007/bf03037532
  • 1

1 - 2 (2 records)

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