Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 11, panel: ST6
-
2. Globalna identyfikacja w dynamicznych modelach makroekonomicznych z antycypacyjnymi oczekiwaniami
Kierownik: dr hab. Marcin Paweł Kolasa
Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych
Konkurs: OPUS 18, panel: HS4