Wyszukiwarka projektów

• Słowa kluczowe: systemy tablicowe ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

   Kierownik: Mateusz Klonowski

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Konkurs: PRELUDIUM 10, panel: HS1

2. 2. Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

   Kierownik: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: OPUS 13, panel: HS1

3. 3. Metateoria systemów tablicowych

   Kierownik: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Konkurs: OPUS 10, panel: HS1