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

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.
Classification : 68T15
Keywords: mathematical logic, theorem provers, algorithms 
@article{KJM_2001_23_a13,
     author = {Tatjana Timotijevi\'c},
     title = {One implementation of {PL} prover algorithm},
     journal = {Kragujevac Journal of Mathematics},
     pages = {119 },
     publisher = {mathdoc},
     volume = {23},
     year = {2001},
     zbl = {1004.68142},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_a13/}
}
TY  - JOUR
AU  - Tatjana Timotijević
TI  - One implementation of PL prover algorithm
JO  - Kragujevac Journal of Mathematics
PY  - 2001
SP  - 119 
VL  - 23
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2001_23_a13/
LA  - en
ID  - KJM_2001_23_a13
ER  - 
%0 Journal Article
%A Tatjana Timotijević
%T One implementation of PL prover algorithm
%J Kragujevac Journal of Mathematics
%D 2001
%P 119 
%V 23
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_a13/
%G en
%F KJM_2001_23_a13
Tatjana Timotijević. One implementation of PL prover algorithm. Kragujevac Journal of Mathematics, Tome 23 (2001), p. 119 . http://geodesic.mathdoc.fr/item/KJM_2001_23_a13/