Tytuł projektu: Automatyzacja wnioskowania konstruktywnego
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr hab. Aleksy Andrzej Schubert
Panel: ST6 (obszar: ST)
Liczba wykonawców: 7
Finansowanie: 462860 PLN
Okres realizacji: 2013-07-16 00:00:00 – 2016-01-15 00:00:00 (30 miesięcy)