Nie jesteś zalogowany |
Powrót do listy grantów
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
- Kierownik
- Bartosz Piotrowski
- Numer umowy
- UMO-2018/29/N/ST6/02903
- Data rozpoczęcia
- 7 grudnia 2018
- Data zakończenia
- 23 stycznia 2022
- Finansowany przez
- Narodowe Centrum Nauki
