You are not logged in |
Return to the list of grants
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
- Principal investigator
- dr hab. Henryk Michalewski
- Contract number
- UMO-2018/29/B/ST6/02959
- Starting date
- Dec. 7, 2018
- Ending date
- Jan. 30, 2022
- Financed by
- National Science Center
