Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BY - Uznanie autorstwaHigher-Order Nonemptiness Step by Step
Autor
Data publikacji
2020
Dyscyplina PBN
informatyka
Tom
182
Strony od-do
53:1-53:14
Data udostępnienia w otwartym dostępie
2020-12-04
Link do źródła
Licencja otwartego dostępu
Uznanie autorstwa