Dane publikacji |
| |
Typ publikacji | Publikacja w książce |
Rodzaj publikacji | Artykuł |
Tytuł publikacji | Deterministic tableau-decision procedure via reductions for modal logic K |
Adres internetowy | http://link.springer.com/chapter/10.1007/978-3-319-01854-6_44 |
Tytuł książki | International Joint Conference SOCO’13-CISIS’13-ICEUTE’13 |
Tom | 239 |
Od strony | 429 |
Do strony | 438 |
Liczba arkuszy | 0,75 |
Liczba stron | |
Oznaczenie wydania | |
Miejsce wydania | Berlin Heidelberg |
Nazwa wydawcy | Springer International Publishing |
Rok wydania | 2014 |
Tytuł serii | Advances in Intelligent Systems and Computing |
Numer w serii | 239 |
Numer publikacji | |
Język publikacji | Angielski |
Język etniczny badanej kultury | |
Zasięg | międzynarodowy |
Rok sprawozdawczy | 2014 |