Poprzednia strona
Rekrutacja 2022/23
M. Hryniewicka
Greedy Algorithms for Finding Maximum Number of Then Step in Reasoning
2nd Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria, Mar 26-30, 2017
University of Innsbruck (org.)
