Projects search

• Principal investigator: Emanuel Grzegorz Kieroński ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 1. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 21, Panel: ST6

2. 2. A quest for new computer logics

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 11, Panel: ST6