Author: Kramosil, Ivan
- : A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (162)-173
Search
Partner of
