Geodesic
One implementation of PL prover algorithm
Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1.

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Kragujevac J. Math. 23 (2001) 119-130. ONE IMPLEMENTATION OF PL PROVER ALGORITHM Tatjana TimotijevicFaculty of Science, P. O. Box 60, 34000 Kragujevac, Yugoslavia (Received July 2, 2001) Abstract. In this paper a practical solution to the problem of implementing PL prover algorithm is offered in a form of a program written in C-language. 
@article{KJM_2001_23_1_a13,
     author = {Tatjana Timotijevi\'c},
     title = {One implementation of {PL} prover algorithm},
     journal = {Kragujevac Journal of Mathematics},
     pages = {119 - 130},
     publisher = {mathdoc},
     volume = {23},
     number = {1},
     year = {2001},
     zbl = {1004.68142},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a13/}
}
TY  - JOUR
AU  - Tatjana Timotijević
TI  - One implementation of PL prover algorithm
JO  - Kragujevac Journal of Mathematics
PY  - 2001
SP  - 119 
EP  -  130
VL  - 23
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a13/
ID  - KJM_2001_23_1_a13
ER  - 
%0 Journal Article
%A Tatjana Timotijević
%T One implementation of PL prover algorithm
%J Kragujevac Journal of Mathematics
%D 2001
%P 119 - 130
%V 23
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a13/
%F KJM_2001_23_1_a13
Tatjana Timotijević. One implementation of PL prover algorithm. Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1. http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a13/