An Efficient Tableau Prover using Global Caching for the Description Logic ALC

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Adres internetowy
Tytuł czasopisma	FUNDAMENTA INFORMATICAE
Medium	publikacja drukowana
Tom	93
Zeszyt
Rok wydania	2009
Od strony	273
Do strony	288
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2009