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

Zbl
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 
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/
@article{KJM_2001_23_a13,
     author = {Tatjana Timotijevi\'c},
     title = {One implementation of {PL} prover algorithm},
     journal = {Kragujevac Journal of Mathematics},
     pages = {119 },
     year = {2001},
     volume = {23},
     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
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
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_a13/
%G en
%F KJM_2001_23_a13