%0 Journal Article
%A Lam, C. W. H.
%T Jak spolehlivý je počítačový důkaz?
%J Pokroky matematiky, fyziky a astronomie
%D 1991
%P 209-216
%V 36
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PMFA_1991__36_4_a2/
%G cz
%F PMFA_1991__36_4_a2