Znaleziono 4 projektów spełniających kryteria wyszukiwania:
Metody automatycznego programowania z wykorzystaniem podejść semantycznych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
Globalna identyfikacja w dynamicznych modelach makroekonomicznych z antycypacyjnymi oczekiwaniami
Konkurs: OPUS 18 , panel: HS4
Kierownik: dr hab. Marcin Kolasa
Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Inteligentny hybrydowy system planowania i kompozycji usług sieciowych
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych