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

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!

Udostępnij post

Skip to content