• DML-CZ Home

Author: Matúš, Vladislav

• Balková, Ľubomíra; Hrušková, Aranka; Matúš, Vladislav; Schusser, Jakub; Šubert, Eduard; Töpfer, Martin: Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité. (Czech). Rozhledy matematicko-fyzikální, vol. 87 (2012), issue 4, pp. 8-15