Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Wydajne obliczenia kwantowe wyższego rzędu
Konkurs: SONATA BIS 14 , panel: ST2
Kierownik: dr hab. Michał Studziński
Uniwersytet Gdański
Metody wnioskowania o programach w językach wyższego rzędu
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki