Search results
5 projects found matching your search criteria:
-
1. Automatic calculations for low energetic electron-positron annihilation into hadrons
Principal investigator: prof. Karol Maksymilian Kołodziej
UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii
Call: OPUS 2, Panel: ST6
-
Principal investigator: dr hab. Anna Pietrenko-Dąbrowska
Politechnika Gdańska
Call: OPUS 28, Panel: ST7
-
3. Automation of the Problem of Unification in Description Logics
Principal investigator: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Call: POLONEZ BIS 3, Panel: ST6
-
4. Automatisation of constructive logic
Principal investigator: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 4, Panel: ST6
-
Principal investigator: prof. Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: OPUS 24, Panel: ST7