Wróć do szczegółów artykułu
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Pobierz
Pobierz PDF