1 projects found matching your search criteria :
Effective computations in predicative mathematics
Call: SONATINA 2 , Panel: ST6
Principal investigator: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki