2 projects found matching your search criteria :
The Effects of Generative Artificial Intelligence on Higher-Order Cognitive Functions
Call: OPUS 27 , Panel: HS6
Principal investigator: Dawid Jarosław Ratajczyk
Uniwersytet im. Adama Mickiewicza w Poznaniu
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki