Search Results - Kondylakis, Haridimos

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Knowledge Representation in a Proof Checker for Logic Programs

    Knowledge Representation in a Proof Checker for Logic Programs by Marakakis, Emmanouil, Kondylakis, Haridimos, Papadakis, Nikos

    Published 2012
    Get full text
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: