Theorem proving through depth-first test

Previous | Up | Next

Article

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

MSC: 05C15, 68Q25, 68R10, 68T15 | MR 1287235 | Zbl 0800.68841