Propositional calculus proving methods in Prolog
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica (1990)
- Volume: 29, Issue: 1, page 301-321
- ISSN: 0231-9721
Access Full Article
top
How to cite
topŠtěpán, Jan. "Propositional calculus proving methods in Prolog." Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 29.1 (1990): 301-321. <http://eudml.org/doc/23518>.
@article{Štěpán1990,
author = {Štěpán, Jan},
journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
keywords = {theorem proving; Prolog; propositional calculus; Wang's algorithm; method of analytical tables},
language = {eng},
number = {1},
pages = {301-321},
publisher = {Palacký University Olomouc},
title = {Propositional calculus proving methods in Prolog},
url = {http://eudml.org/doc/23518},
volume = {29},
year = {1990},
}
TY - JOUR
AU - Štěpán, Jan
TI - Propositional calculus proving methods in Prolog
JO - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY - 1990
PB - Palacký University Olomouc
VL - 29
IS - 1
SP - 301
EP - 321
LA - eng
KW - theorem proving; Prolog; propositional calculus; Wang's algorithm; method of analytical tables
UR - http://eudml.org/doc/23518
ER -
References
top- Coelho H., Cotta J.C., Pereira L.M., How to solve it with Prolog, Lisboa, LNEC 1985. (1985)
- Coelho H., Cotta J.C., Prolog by example, Springer-Verlag 1988. (1988) Zbl0649.68004
- Smullyan R.M., First order logic, Bratislava, ALFA 1979. (1979)
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.