Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Konkurs: OPUS 14 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Automaty z wagami dla własności kwantytatywnych
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki