Lam, C. W. H.. "Jak spolehlivý je počítačový důkaz?." Pokroky matematiky, fyziky a astronomie 36.4 (1991): 209-216. <http://eudml.org/doc/36070>.
@article{Lam1991, author = {Lam, C. W. H.}, journal = {Pokroky matematiky, fyziky a astronomie}, language = {cze}, number = {4}, pages = {209-216}, publisher = {Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists}, title = {Jak spolehlivý je počítačový důkaz?}, url = {http://eudml.org/doc/36070}, volume = {36}, year = {1991}, }
TY - JOUR AU - Lam, C. W. H. TI - Jak spolehlivý je počítačový důkaz? JO - Pokroky matematiky, fyziky a astronomie PY - 1991 PB - Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists VL - 36 IS - 4 SP - 209 EP - 216 LA - cze UR - http://eudml.org/doc/36070 ER -
