Filtros : "LÓGICA FORMAL" "Proceeding: Ahupua'a" Limpar


  • Fonte: Proceeding. Nome do evento: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: EP, IME

    Assunto: LÓGICA FORMAL

    PrivadoAcesso à fonteDOIComo citar
    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: 02 out. 2024.
    • 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 2024 out. 02 ] 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 2024 out. 02 ] Available from: https://doi.org/10.1109/BRACIS.2013.38

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