68 Computer science
68-02 Research exposition (monographs, survey articles) (4 articles)
- : Programování s omezujícími podmínkami — na cestě ke svatému grálu. (Czech) [Constraint programming – on the way to the Holly Grail]. Pokroky matematiky, fyziky a astronomie, vol. 45 (2000), issue 3, pp. 218-231
- : A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
- : Prehl'ad teórie výpočtovej složitosti. (Slovak) [An overview of computational complexity]. Pokroky matematiky, fyziky a astronomie, vol. 32 (1987), issue 1, pp. 12-29
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
Search
Partner of
