Znaleziono 1 projektów spełniających kryteria wyszukiwania:
Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...
Konkurs: SONATA BIS 7 , panel: HS1
Kierownik: dr hab. Dorota Leszczyńska-Jasion
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki