Search results
2 projects found matching your search criteria:
-
Principal investigator: prof. Guillaume Laurent Thierry
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Call: OPUS 22, Panel: HS6
-
2. Algorithms concerning the legibility of natural deduction proofs
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: PRELUDIUM 4, Panel: ST6