Znaleziono 5 projektów spełniających kryteria wyszukiwania:
Konkurs: SONATA 6 , panel: ST5
Kierownik: dr Agnieszka Podborska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii
Konkurs: OPUS 19 , panel: HS1
Kierownik: dr hab. Maciej Malicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Konkurs: PRELUDIUM 1 , panel: HS1
Kierownik: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Hybrydyzacja fragmentów logiki Halperna-Shohama
Konkurs: PRELUDIUM 12 , panel: HS1
Kierownik: Przemysław Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej
Konkurs: PRELUDIUM 11 , panel: ST3
Kierownik: Kacper Pilarczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii