Search results
2 projects found matching your search criteria:
-
1. Metatheory of Tableau Systems
Principal investigator: dr hab. Tomasz Dariusz Jarmużek
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
Call: OPUS 10, Panel: HS1
-
2. Positional logic - metatheory and applications
Principal investigator: dr hab. Marcin Tkaczyk
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Call: SONATA BIS 1, Panel: HS1