Some Heuristics in Automatic Theorem Proving
Publications de l'Institut Mathématique (1984)
- Volume: 35(49), Issue: 55, page 167-172
- ISSN: 0350-1302
Access Full Article
top
How to cite
topDragoš Cvetković, and Irena Pevac. "Some Heuristics in Automatic Theorem Proving." Publications de l'Institut Mathématique 35(49).55 (1984): 167-172. <http://eudml.org/doc/256391>.
@article{DragošCvetković1984,
author = {Dragoš Cvetković, Irena Pevac},
journal = {Publications de l'Institut Mathématique},
keywords = {theories with a large number of definitions; analogy heuristic; equivalence of formulas; game; coloured directed graph},
language = {eng},
number = {55},
pages = {167-172},
publisher = {Matematički institut SANU},
title = {Some Heuristics in Automatic Theorem Proving},
url = {http://eudml.org/doc/256391},
volume = {35(49)},
year = {1984},
}
TY - JOUR
AU - Dragoš Cvetković
AU - Irena Pevac
TI - Some Heuristics in Automatic Theorem Proving
JO - Publications de l'Institut Mathématique
PY - 1984
PB - Matematički institut SANU
VL - 35(49)
IS - 55
SP - 167
EP - 172
LA - eng
KW - theories with a large number of definitions; analogy heuristic; equivalence of formulas; game; coloured directed graph
UR - http://eudml.org/doc/256391
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.