Wyniki wyszukiwania
Znaleziono 5 projektów spełniających kryteria wyszukiwania:
-
1. Automatyzacja obliczeń w nisko-energetycznej anihilacji elektron-pozyton na hadrony
Kierownik: prof. Karol Maksymilian Kołodziej
UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii
Konkurs: OPUS 2, panel: ST6
-
Kierownik: dr hab. Anna Pietrenko-Dąbrowska
Politechnika Gdańska
Konkurs: OPUS 28, panel: ST7
-
3. Automation of the Problem of Unification in Description Logics
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Konkurs: POLONEZ BIS 3, panel: ST6
-
4. Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
Kierownik: prof. Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 24, panel: ST7