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

Deep neural architectures for automated theorem proving

Grant holderBartosz Piotrowski
Contract no.UMO-2018/29/N/ST6/02903
Starting date2018-12-07
Ending date2022-01-23
Financed byNarodowe Centrum Nauki