Some heuristics in automatic theorem proving.
Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 167.

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

Classification : 68T15, 05C99, 68R10
Mots-clés : theories with a large number of definitions, analogy heuristic, equivalence of formulas, game, coloured directed graph 
@article{PIM2_1984__35(49)_117933,
     author = {Cvetkovi\'c, Drago\v{s} and Pevac, Irena},
     title = {Some heuristics in automatic theorem proving.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {167},
     publisher = {mathdoc},
     volume = {35(49)},
     year = {1984},
     zbl = {0585.68080},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/}
}
TY  - JOUR
AU  - Cvetković, Dragoš
AU  - Pevac, Irena
TI  - Some heuristics in automatic theorem proving.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1984
SP  - 167
VL  - 35(49)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/
LA  - en
ID  - PIM2_1984__35(49)_117933
ER  - 
%0 Journal Article
%A Cvetković, Dragoš
%A Pevac, Irena
%T Some heuristics in automatic theorem proving.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1984
%P 167
%V 35(49)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/
%G en
%F PIM2_1984__35(49)_117933
Cvetković, Dragoš; Pevac, Irena. Some heuristics in automatic theorem proving.. Publications de l 'Institut Mathématique. Nouvelle Série, 35(49) (1984), p. 167. https://geodesic-test.mathdoc.fr/item/PIM2_1984__35(49)_117933/