Filtros : "LÓGICA" "International Joint Conference on Automated Reasoning - IJCAR" Removido: "Financiamento IBM" Limpar

Filtros



Refine with date range


  • Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME

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

    Acesso à 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 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: 29 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. 29 ] 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. 29 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14

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