Geodesic
Propositional calculus proving methods in Prolog
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, Tome 29 (1990) no. 1, pp. 301-321

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

MR   Zbl

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

[1] Coelho H., Cotta J.C., Pereira L.M.: How to solve it with Prolog. Lisboa, LNEC 1985.

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

[3] Smullyan R.M.: First order logic. Bratislava, ALFA 1979.