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

Previous | Up | Next

Author: Kramosil, Ivan

Kramosil, Ivan: Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97

Browse
- Collections
- Titles
- Authors
- MSC

Partner of