Tytuł projektu: Automaty z wagami dla własności kwantytatywnych
Instytucja: Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Miasto: Wrocław
Województwo: dolnośląskie
Kierownik projektu: dr Jan Otop
Panel: ST6 (obszar: ST)
Liczba wykonawców: 4
Finansowanie: 417760 PLN
Okres realizacji: 2015-07-22 00:00:00 – 2018-10-21 00:00:00 (39 miesięcy)