Yazılım Gönder

Tarafından Programlar jcel.sf.net

  • jcel Ücret -siz

    Bu proje, EL+ ve ELHIfR+ tanımlama mantığının bir muhakemesidir. Kavram sübvansiyon hiyerarşisini hesaplar. Bu bir OWL 2 EL muhakeme.