Znaleziono 1 artykuł

Michał Tyburski

Tytuł artykułu    Autorzy Strony Czynności
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu Michał Tyburski s. 107-122