4 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
The intelligent UBMSS class systems supporting the enterprise management processes
Call: OPUS 3 , Panel: HS4
Principal investigator: dr Lidia Ogiela
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Bąk
Politechnika Poznańska, Wydział Elektryczny
Quantifiers in Language: Use and Meaning
Call: OPUS 13 , Panel: HS1
Principal investigator: dr Jakub Szymanik
Instytut Podstaw Informatyki Polskiej Akademii Nauk