Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Powrót do listy grantów

Grant

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Kierownik grantuBartosz Piotrowski
Nr umowyUMO-2018/29/N/ST6/02903
Data rozpoczęcia2018-12-07
Data zakończenia2022-01-23
Finansowany przezNarodowe Centrum Nauki