Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 25, panel: HS1
-
2. Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 16, panel: HS1
-
3. Uczenie się semantyki kwantyfikatorów języka naturalnego
Kierownik: Dariusz Kalociński
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 7, panel: HS1