TY  - JOUR
AU  - Barták, Roman
TI  - Programování s omezujícími podmínkami — na cestě ke svatému grálu
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 2000
SP  - 218
EP  - 231
VL  - 45
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/PMFA_2000_45_3_a3/
LA  - cs
ID  - PMFA_2000_45_3_a3
ER  -