Comparing different theorem provers for modal logic K

Dane publikacji
Typ publikacji	Publikacja w książce
Rodzaj publikacji	Artykuł
Tytuł publikacji	Comparing different theorem provers for modal logic K
Adres internetowy	http://gsii.usal.es/cmmse//index.php?option=com_content&task=view&id=15&Itemid=16
Tytuł książki	Proceedings of the 2011 International Conference Computational and Mathematical Methods in Science and Engineering
Tom
Od strony	1
Do strony	1
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania	Alicante, Hiszpania
Nazwa wydawcy	Universidad de Salamanca
Rok wydania	2011
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2011