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

Voir la notice de l'article dans Czech Digital Mathematics Library

Classification : 05C15, 68Q25, 68R10, 68T15 
@article{AUCMP_1992__33_2_a17,
     author = {Tuza, Zsolt},
     title = {Theorem proving through depth-first test},
     journal = {Acta Universitatis Carolinae. Mathematica et Physica},
     pages = {135--141},
     publisher = {mathdoc},
     volume = {33},
     number = {2},
     year = {1992},
     mrnumber = {1287235},
     zbl = {0800.68841},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/}
}
TY  - JOUR
AU  - Tuza, Zsolt
TI  - Theorem proving through depth-first test
JO  - Acta Universitatis Carolinae. Mathematica et Physica
PY  - 1992
SP  - 135
EP  - 141
VL  - 33
IS  - 2
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/
LA  - en
ID  - AUCMP_1992__33_2_a17
ER  - 
%0 Journal Article
%A Tuza, Zsolt
%T Theorem proving through depth-first test
%J Acta Universitatis Carolinae. Mathematica et Physica
%D 1992
%P 135-141
%V 33
%N 2
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/
%G en
%F AUCMP_1992__33_2_a17
Tuza, Zsolt. Theorem proving through depth-first test. Acta Universitatis Carolinae. Mathematica et Physica, Tome 33 (1992) no. 2, pp. 135-141. https://geodesic-test.mathdoc.fr/item/AUCMP_1992__33_2_a17/