Filtros : "International Joint Conference on Automated Reasoning - IJCAR" Limpar

Filtros



Limitar por data


  • 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: 02 dez. 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 dez. 02 ] 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 dez. 02 ] 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