Tytuł projektu: Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: prof. Sławomir Grzegorz Lasota
Panel: ST6 (obszar: ST)
Liczba wykonawców: 6
Finansowanie: 599600 PLN
Okres realizacji: 2017-02-14 00:00:00 – 2020-04-13 00:00:00 (38 miesięcy)