Automated theorem proving in monadic predicate calculus
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica (1991)
- Volume: 30, Issue: 1, page 273-283
- ISSN: 0231-9721
Access Full Article
top
How to cite
topŠtěpán, Jan. "Automated theorem proving in monadic predicate calculus." Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 30.1 (1991): 273-283. <http://eudml.org/doc/23542>.
@article{Štěpán1991,
author = {Štěpán, Jan},
journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
keywords = {analytical tables; monadic predicate calculus},
language = {eng},
number = {1},
pages = {273-283},
publisher = {Palacký University Olomouc},
title = {Automated theorem proving in monadic predicate calculus},
url = {http://eudml.org/doc/23542},
volume = {30},
year = {1991},
}
TY - JOUR
AU - Štěpán, Jan
TI - Automated theorem proving in monadic predicate calculus
JO - Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
PY - 1991
PB - Palacký University Olomouc
VL - 30
IS - 1
SP - 273
EP - 283
LA - eng
KW - analytical tables; monadic predicate calculus
UR - http://eudml.org/doc/23542
ER -
References
top- Coelho H., Cotta J.C., Prolog by example, Springer-Verlag, Berlin Heidelberg, 1988. (1988) Zbl0649.68004
- Štěpán J., Propositional Calculus Proving Methods in Prolog, Acta UPO 97 (1990), (to appear). (1990) Zbl0792.68165MR1144841
- Smullyan R.M., First Order Logic, (Slovak), Alfa, Bratislava, 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.