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

Classification : 03B35, 68T15 
@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},
     publisher = {mathdoc},
     volume = {30},
     number = {1},
     year = {1991},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPO_1991__30_1_a21/
%G en
%F AUPO_1991__30_1_a21
Š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/