Wróć do szczegółów artykułu
Decision procedures for some strong hybrid logics
Pobierz
Pobierz PDF