Tytuł projektu: Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Instytucja: Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Miasto: Łódź
Województwo: łódzkie
Kierownik projektu: dr Michał Ksawery Zawidzki
Panel: HS1 (obszar: HS)
Liczba wykonawców: 2
Finansowanie: 112245 PLN
Okres realizacji: 2011-12-16 00:00:00 – 2013-12-15 00:00:00 (24 miesięcy)