5 projects found matching your search criteria :
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
Call: PRELUDIUM 21 , Panel: HS6
Principal investigator: Agata Wolna
Uniwersytet Jagielloński, Wydział Filozoficzny
Finite automata: selected problems and applications connecting different areas
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Advanced humanistic management as a research field on the massive technosocial phenmena
Call: OPUS 15 , Panel: HS1
Principal investigator: dr hab. Rafał Maciąg
Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej
Acquisition of language complexity in foreign language teaching and learning
Call: HARMONIA 7 , Panel: HS2
Principal investigator: prof. Urszula Paprocka-Piotrowska
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych