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

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Kierownik grantuHenryk Michalewski
Nr umowyUMO-2018/29/B/ST6/02959
Data rozpoczęcia2018-12-07
Data zakończenia2022-01-30
Finansowany przezNarodowe Centrum Nauki