One implementation of PL prover algorithm
Kragujevac Journal of Mathematics (2001)
- Volume: 23, Issue: 23, page 119-130
- ISSN: 1450-9628
Access Full Article
top
How to cite
topTatjana Timotijević. "One implementation of PL prover algorithm." Kragujevac Journal of Mathematics 23.23 (2001): 119-130. <http://eudml.org/doc/252950>.
@article{TatjanaTimotijević2001,
author = {Tatjana Timotijević},
journal = {Kragujevac Journal of Mathematics},
keywords = {theorem prover; Prolog; C-language},
language = {eng},
number = {23},
pages = {119-130},
publisher = {Prirodno-matematički fakultet Kragujevac},
title = {One implementation of PL prover algorithm},
url = {http://eudml.org/doc/252950},
volume = {23},
year = {2001},
}
TY - JOUR
AU - Tatjana Timotijević
TI - One implementation of PL prover algorithm
JO - Kragujevac Journal of Mathematics
PY - 2001
PB - Prirodno-matematički fakultet Kragujevac
VL - 23
IS - 23
SP - 119
EP - 130
LA - eng
KW - theorem prover; Prolog; C-language
UR - http://eudml.org/doc/252950
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.