Projects search

• Keywords: zapytania bazodanowe ×

Change search criteria ↓

Search results

1 project found matching your search criteria:

1. 1. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

   Principal investigator: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

   Call: OPUS 16, Panel: ST6