About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us

Previous | Up | Next

Author: Kramosil, Ivan

Kramosil, Ivan: Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs. (English). Kybernetika, vol. 17 (1981), issue 5, pp. 359-367
Kramosil, Ivan: On detectors with incomplete answers. (English). Kybernetika, vol. 17 (1981), issue 3, pp. 191-208

Browse
- Collections
- Titles
- Authors
- MSC

Partner of