• DML-CZ Home

Author: Lam, C. W. H.

• Lam, C. W. H.: Jak spolehlivý je počítačový důkaz?. (Czech) [How reliable is a computer-based proof?]. Pokroky matematiky, fyziky a astronomie, vol. 36 (1991), issue 4, pp. 209-216