Resultados de la búsqueda

  • Computing Shortest Resolution Proofs [2019]

    Categoría:
    Ponencias
    Autores:
    Carlos Mencía Cascallana , J. Marques Silva
    Fecha:
    01 de Enero de 2019
    Es parte de:
    EPIA: EPIA Conference on Artificial Intelligence. Progress in Artificial Intelligence