Search Results

  • Lean kernels in description logics [2017]

    Category:
    Ponencias
    Authors:
    R. Peñaloza , Carlos Mencía Cascallana , A. Ignatiev , J. Marques-Silva
    Date:
    01 of January of 2017
    It Is a Part of:
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)