Prolog Execution Engines for Description Logic Reasoners

Gergely, Lukácsy [Lukácsy, Gergely (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK); Nagy, Zsolt; Péter, Szeredi [Szeredi, Péter (Logikai programozás), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)

Angol nyelvű Tudományos Nem besorolt (Egyéb)
Megjelent: 2006
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-01-25 03:17