Expressive Description Logic Reasoning Using First-Order Resolution

Megtekintés/Megnyitás

135432.pdf (330.2KB)

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/4690

Collections

BME PA dokumentumai [3736]

Cím és alcím: Expressive Description Logic Reasoning Using First-Order Resolution
Szerző: Zombori, Zsolt
Megjelenés ideje: 2016
Nyelv: en
Egyéb azonosítók: MTMT: 2686174
A cikket/könyvrészletet tartalmazó dokumentum címe: JOURNAL OF LOGIC AND COMPUTATION
A forrás folyóirat évfolyama: -
ISSN, e-ISSN: 0955-792X; 1465-363x
Dokumentumtípus: folyóiratcikk
Műfaj: szakcikk