Search results
1 project found matching your search criteria:
-
1. 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