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

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