You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Back to the list of grants

Grant

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Grant holderHenryk Michalewski
Contract no.UMO-2018/29/B/ST6/02959
Starting date2018-12-07
Ending date2022-01-30
Financed byNarodowe Centrum Nauki