2 projects found matching your search criteria :
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki