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

Previous | Up | Next

Author: Kramosil, Ivan

Kramosil, Ivan: Statistical testing procedure for lengths of formalized proofs. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (209)-224

Browse
- Collections
- Titles
- Authors
- MSC

Partner of