  |
Items where Author is "Henryk, Michalewski"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemZombori, Zsolt and Csiszárik, Adrián and Henryk, Michalewski and Cezary, Kaliszyk and and, Josef Urban (2019) Curriculum learning and theorem proving. In: Fourth Conference on Artificial Intelligence and Theorem Proving AITP 2019, 2019.04.07-2019.04.12, Obergurgl. |
