Geodesic
Automated theorem proving in monadic predicate calculus
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 30 (1991) no. 1, pp. 273-283

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR   Zbl

Classification : 03B35, 68T15 
Štěpán, Jan. Automated theorem proving in monadic predicate calculus. Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 30 (1991) no. 1, pp. 273-283. http://geodesic.mathdoc.fr/item/AUPO_1991_30_1_a21/
@article{AUPO_1991_30_1_a21,
     author = {\v{S}t\v{e}p\'an, Jan},
     title = {Automated theorem proving in monadic predicate calculus},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {273--283},
     year = {1991},
     volume = {30},
     number = {1},
     mrnumber = {1166442},
     zbl = {0748.68072},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_1991_30_1_a21/}
}
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
SP  - 273
EP  - 283
VL  - 30
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/AUPO_1991_30_1_a21/
LA  - en
ID  - AUPO_1991_30_1_a21
ER  - 
%0 Journal Article
%A Štěpán, Jan
%T Automated theorem proving in monadic predicate calculus
%J Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
%D 1991
%P 273-283
%V 30
%N 1
%U http://geodesic.mathdoc.fr/item/AUPO_1991_30_1_a21/
%G en
%F AUPO_1991_30_1_a21

[1] Coelho H., Cotta J.C.: Prolog by example. Springer-Verlag, Berlin Heidelberg, 1988. | Zbl

[2] Štěpán J.: Propositional Calculus Proving Methods in Prolog. Acta UPO 97 (1990), (to appear). | MR | Zbl

[3] Smullyan R.M.: First Order Logic. (Slovak), Alfa, Bratislava, 1979.