Wyszukiwarka projektów

• Słowa kluczowe: fragments of first-order logic ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

   Kierownik: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 21, panel: ST6

2. 2. 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

3. 3. W poszukiwaniu nowych logik komputerowych

   Kierownik: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 11, panel: ST6