Dane publikacji |
| |
Typ publikacji | Publikacja w książce |
Rodzaj publikacji | Artykuł |
Tytuł publikacji | An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ |
Adres internetowy | http://ceur-ws.org/Vol-1032/paper-26.pdf |
Tytuł książki | Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland [eds. M.S. Szczuka, L. Czaja, M. Kacprzak] |
Tom | |
Od strony | 296 |
Do strony | 308 |
Liczba arkuszy | 1 |
Liczba stron | |
Oznaczenie wydania | ISBN: 978-83-62582-42-6 |
Miejsce wydania | Białystok |
Nazwa wydawcy | Białystok University of Technology |
Rok wydania | 2013 |
Tytuł serii | CEUR Workshop Proceedings |
Numer w serii | 1032 |
Numer publikacji | |
Język publikacji | Angielski |
Język etniczny badanej kultury | |
Zasięg | międzynarodowy |
Rok sprawozdawczy | 2013 |