3 projects found matching your search criteria :
Space to reason - the role of visual displays and gestures in deductive reasoning
Call: HARMONIA 6 , Panel: HS6
Principal investigator: dr Robert Mackiewicz
Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Psychologii
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
80 years of investigations on natural deduction and sequent calculi
Call: OPUS 2 , Panel: HS1
Principal investigator: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny