Nie jesteś zalogowany |
Powrót do listy grantów
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
- Kierownik
- prof. dr hab. Sławomir Lasota
- Numer umowy
- 2016/21/B/ST6/01505
- Data rozpoczęcia
- 14 lutego 2017
- Data zakończenia
- 13 lutego 2020
- Finansowany przez
-
