Grant NCN dla dr hab. Lidii Tendery, prof. UO

utworzone przez Artur Dembończyk | cze 11, 2019

Dr hab. Lidia Tendera, prof. UO uzyskała finansowanie projektu
Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki
w konkursie OPUS 16 zorganizowanym przez Narodowe Centrum Nauki.

Serdecznie gratulujemy!