02 Logic and foundations
02.80 Algorithms and machines, general (3 articles)
- : Recursive functions computable within $C \bar f \log\bar f$. (English). Kybernetika, vol. 5 (1969), issue 5, pp. (384)-399
- : Об алгорифмах с элементами памяти. (Russian) [On algorithms with memory elements]. Kybernetika, vol. 4 (1968), issue 3, pp. (201)-225
- : GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47
Search
Partner of
