Filtros : "Proceeding" "LÓGICA FORMAL" Limpar


  • Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME

    Assunto: LÓGICA FORMAL

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.38. Acesso em: 15 nov. 2025.
    • APA

      De Bona, G., Cozman, F. G., & Finger, M. (2013). Generalized probabilistic satisfiability. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.38
    • NLM

      De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2025 nov. 15 ] Available from: https://doi.org/10.1109/BRACIS.2013.38
    • Vancouver

      De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability [Internet]. Proceeding. 2013 ;[citado 2025 nov. 15 ] Available from: https://doi.org/10.1109/BRACIS.2013.38

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