TY  - JOUR
AU  - Balková, Ľubomíra
AU  - Hrušková, Aranka
AU  - Matúš, Vladislav
AU  - Schusser, Jakub
AU  - Šubert, Eduard
AU  - Töpfer, Martin
TI  - Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
JO  - Rozhledy matematicko-fyzikální
PY  - 2012
SP  - 8
EP  - 15
VL  - 87
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RMF_2012__87_4_a1/
LA  - cz
ID  - RMF_2012__87_4_a1
ER  -