Wyszukiwarka projektów

• Słowa kluczowe: tableau-based systems ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 1 projekt spełniających kryteria wyszukiwania:

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

   Kierownik: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Konkurs: OPUS 13, panel: HS1