%0 Journal Article
%A Barták, Roman
%T Programování s omezujícími podmínkami — na cestě ke svatému grálu
%J Pokroky matematiky, fyziky a astronomie
%D 2000
%P 218-231
%V 45
%N 3
%U http://geodesic.mathdoc.fr/item/PMFA_2000_45_3_a3/
%G cs
%F PMFA_2000_45_3_a3