You are not logged in | Log in
Return to the list of grants

Automatisation of constructive logic

Principal investigator
dr hab. Aleksy Schubert, prof. UW
Contract number
Starting date
May 16, 2013
Ending date
Jan. 15, 2016
Financed by
National Science Center
prof. dr hab.Paweł Urzyczyn, dr Konrad Zdanowski, dr Marcin Benke,dr Jacek Chrząszcz, dr Daria Walukiewicz-Chrząszcz