Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Uczenie się semantyki kwantyfikatorów języka naturalnego
Konkurs: PRELUDIUM 7 , panel: HS1
Kierownik: Dariusz Kalociński
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Metody automatycznego programowania z wykorzystaniem podejść semantycznych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
Logiki pozycyjne - metateoria i zastosowania
Konkurs: SONATA BIS 1 , panel: HS1
Kierownik: dr hab. Marcin Tkaczyk
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II