Tomasz Jarmużek

Formalizacja metod tablicowych dla logik zdań i logik nazw

Подробнее