Wróć do szczegółów artykułu
Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
Pobierz
Pobierz PDF