Tytuł projektu: Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Instytucja: Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Miasto: Białystok
Województwo: podlaskie
Kierownik projektu: dr Karol Pąk
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 98340 PLN
Okres realizacji: 2013-07-08 00:00:00 – 2017-01-07 00:00:00 (42 miesięcy)