Resultados de la búsqueda

  • Efficient reasoning for inconsistent horn formulae [2016]

    Categoría:
    Ponencias
    Autores:
    J. Marques-Silva , A. Ignatiev , Carlos Mencía Cascallana , R. Peñaloza
    Fecha:
    01 de Enero de 2016
    Es parte de:
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)