Tytuł projektu: Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki
Instytucja: Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki
Miasto: Opole
Województwo: opolskie
Kierownik projektu: dr hab. Lidia Zofia Tendera
Panel: ST6 (obszar: ST)
Liczba wykonawców: 3
Finansowanie: 548900 PLN
Okres realizacji: 2019-07-17 00:00:00 – 2024-07-16 00:00:00 (60 miesięcy)