68 Computer science
68-01 Instructional exposition (textbooks, tutorial papers, etc.) (5 articles)
- : 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
- : Expertní systémy. (Czech) [Expert systems]. Pokroky matematiky, fyziky a astronomie, vol. 31 (1986), issue 3, pp. 132-144
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : Computer science a jej vzťah k matematike. (Slovak) [Computer science and its relation to mathematics]. Pokroky matematiky, fyziky a astronomie, vol. 21 (1976), issue 2, pp. 88-96
- : Teoretické základy informatiky. (Czech) [Theoretical foundations of computer science]. Pokroky matematiky, fyziky a astronomie, vol. 20 (1975), issue 1, pp. 15-26
Search
Partner of
