Heuristic for avoiding skolemization in theorem proving.
Publications de l'Institut Mathématique. Nouvelle Série (1985)
- Volume: 38(52), page 207-213
- ISSN: 0350-1302
Access Full Article
top
How to cite
topPevac, Irena. "Heuristic for avoiding skolemization in theorem proving.." Publications de l'Institut Mathématique. Nouvelle Série 38(52) (1985): 207-213. <http://eudml.org/doc/257722>.
@article{Pevac1985,
author = {Pevac, Irena},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {man-machine interaction; system GRAPH; stronger subgoal},
language = {eng},
pages = {207-213},
publisher = {Izdaje Matematički Institut SANU},
title = {Heuristic for avoiding skolemization in theorem proving.},
url = {http://eudml.org/doc/257722},
volume = {38(52)},
year = {1985},
}
TY - JOUR
AU - Pevac, Irena
TI - Heuristic for avoiding skolemization in theorem proving.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1985
PB - Izdaje Matematički Institut SANU
VL - 38(52)
SP - 207
EP - 213
LA - eng
KW - man-machine interaction; system GRAPH; stronger subgoal
UR - http://eudml.org/doc/257722
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.