Author: Kramosil, Ivan
- : A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.). (English). Kybernetika, vol. 8 (1972), issue 2, pp. (133)-148
Search
Partner of
