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