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

Automatisation of constructive logic

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

Careers

Website

© 2024 University of Warsaw. All rights reserved.