Search Results - Hidalgo-Doblado, M. J.

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Formally Verified Tableau-Based Reasoners for a Description Logic

    Formally Verified Tableau-Based Reasoners for a Description Logic by Hidalgo-Doblado, M. J., Alonso-Jiménez, J. A., Borrego-Díaz, J., Martín-Mateos, F. J., Ruiz-Reina, J. L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: