52 projects found matching your search criteria :
Finding Applications for Logic with Partial Functions
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Jean Marie de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: ST4
Principal investigator: prof. Jarosław Stanisław Koperski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej