52 projects found matching your search criteria :
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Space to reason - the role of visual displays and gestures in deductive reasoning
Call: HARMONIA 6 , Panel: HS6
Principal investigator: dr Robert Mackiewicz
SWPS Uniwersytet Humanistycznospołeczny w Warszawie, Wydział Psychologii