Filtros : "PROGRAMAÇÃO LÓGICA" "IME-USP" Limpar


  • 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

      PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 09 nov. 2025. , 2007
    • APA

      Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
    • NLM

      Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
    • Vancouver

      Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
  • 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
  • Unidade: IME

    Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO

    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. Automated reasoning with uncertainties. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf. Acesso em: 09 nov. 2025. , 1993
    • APA

      Silva, F. S. C. da. (1993). Automated reasoning with uncertainties. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
    • NLM

      Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
    • Vancouver

      Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 09 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf

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