Wyszukiwarka projektów

• Jednostka realizująca: Uniwersytet Opolski ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 1 projekt spełniających kryteria wyszukiwania:

1. 1. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

   Kierownik: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

   Konkurs: OPUS 16, panel: ST6