| 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 |