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

Previous | Up | Next

Author: Zwinogrodzki, Zbigniew

Kramosil, Ivan; Zwinogrodzki, Zbigniew: Statistical methods for comparing theorem proving algorithms. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (221)-240

Browse
- Collections
- Titles
- Authors
- MSC

Partner of