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/