Nie jesteś zalogowany |
Powrót do listy grantów
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
- Kierownik
- dr hab. Henryk Michalewski
- Numer umowy
- UMO-2018/29/B/ST6/02959
- Data rozpoczęcia
- 7 grudnia 2018
- Data zakończenia
- 30 stycznia 2022
- Finansowany przez
- Narodowe Centrum Nauki
