Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Nowe pojęcie skończoności w teorii obliczeń
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki