Some heuristics in automatic theorem proving.
Cvetković, Dragoš; Pevac, Irena
Publications de l'Institut Mathématique. Nouvelle Série (1984)
- Volume: 35(49), page 167-171
- ISSN: 0350-1302
Access Full Article
top
How to cite
topCvetković, Dragoš, and Pevac, Irena. "Some heuristics in automatic theorem proving.." Publications de l'Institut Mathématique. Nouvelle Série 35(49) (1984): 167-171. <http://eudml.org/doc/117933>.
@article{Cvetković1984,
author = {Cvetković, Dragoš, Pevac, Irena},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {theories with a large number of definitions; analogy heuristic; equivalence of formulas; game; coloured directed graph},
language = {eng},
pages = {167-171},
publisher = {Izdaje Matematički Institut SANU},
title = {Some heuristics in automatic theorem proving.},
url = {http://eudml.org/doc/117933},
volume = {35(49)},
year = {1984},
}
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
PB - Izdaje Matematički Institut SANU
VL - 35(49)
SP - 167
EP - 171
LA - eng
KW - theories with a large number of definitions; analogy heuristic; equivalence of formulas; game; coloured directed graph
UR - http://eudml.org/doc/117933
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.