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