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

Previous | Up | Next

Author: Tuza, Zsolt

Tuza, Zsolt: Theorem proving through depth-first test. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 33 (1992), issue 2, pp. 135-141

Browse
- Collections
- Titles
- Authors
- MSC

Partner of