Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Konkurs: SONATA 1 , panel: ST1
Kierownik: dr Bartosz Kosma Kwaśniewski
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Analiza konstrukcji i struktur związanych z badaniem układów C*-dynamicznych
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Anatolij Antonevich
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki