Dane publikacji |
| |
Typ publikacji | Publikacja w czasopi¶mie |
Rodzaj publikacji | Artykuł |
Tytuł publikacji |
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic
SH
|
Adres internetowy | |
Tytuł czasopisma | LNCS TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE |
Medium | |
Tom | 1 |
Zeszyt | |
Rok wydania | 2010 |
Od strony | 21 |
Do strony | 38 |
Numer publikacji | |
Język publikacji | Angielski |
Język etniczny badanej kultury | |
Zasięg | międzynarodowy |
Rok sprawozdawczy | 2010 |