Wróć do szczegółów artykułu
A system for proper multiple-conclusion entailment
Pobierz
Pobierz PDF