You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
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

Careers

Website

© 2024 University of Warsaw. All rights reserved.