Filtros : "LÓGICA" "Joint Conference on Automated Reasoning - IJCAR" Removido: "EP" Limpar


  • Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

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

    Versão AceitaAcesso à fonteDOIHow to cite
    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: 27 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. 27 ] 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. 27 ] Available from: https://doi.org/10.1007/s10817-020-09558-9

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