Резултати

еНаука >  Резултати >  Model driven engineering of a tableau algorithm for description logics
Назив: Model driven engineering of a tableau algorithm for description logics
Аутори: Krdžavac, Nenad ; Gašević, Dragan ; Devedžić, Vladan  
Година: 2009
Публикација: Computer Science and Information Systems
ISSN: 1820-0214 Computer Science and Information Systems / ComSIS Претражи идентификатор
Издавач: Belgrade : ComSIS Consortium
Тип резултата: Научни чланак
Колација: vol. 6 br. 1 str. 23-43
DOI: 10.2298/CSIS0901023K
WoS-ID: 000268481800002
Scopus-ID: 2-s2.0-70349571332
VBS COBISS: 245531911
URI: https://rfos.fon.bg.ac.rs/handle/123456789/561
https://plus.cobiss.net/cobiss/sr/sr/bib/245531911#izum.si
https://enauka.gov.rs/handle/123456789/637694
М-категорија: 
23M23 - Рад у међ. часопису

Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.