Filtros : "LÓGICA" "Preto, Sandro" Removido: "Financiamento IBM" Limpar

Filtros



Limitar por data


  • Fonte: Journal of Automated Reasoning. Nome do evento: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

    Assuntos: RACIOCÍNIO PROBABILÍSTICO, LÓGICA

    Versão AceitaAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 28 nov. 2025. , 2020
    • APA

      Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
    • NLM

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
    • Vancouver

      Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
  • Fonte: Proceedings. Nome do evento: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

    Assuntos: RACIOCÍNIO PROBABILÍSTICO, LÓGICA

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      FINGER, Marcelo e PRETO, Sandro. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 28 nov. 2025.
    • APA

      Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14
    • NLM

      Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
    • Vancouver

      Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

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