Geodesic
On two approaches to modal theorem proving
Novi Sad Journal of Mathematics, Tome 30 (2000) no. 2

Voir la notice de l'article provenant de la source Novi sad journal of mathematics website

@article{NSJOM_2000_30_2a_8,
     author = {Z. 

 Ognjanovi\'c and T. Timotijevi\'c},
     title = {On two 

 approaches to modal theorem proving},
     journal = {Novi Sad Journal of Mathematics},
     pages = {83-93},
     publisher = {mathdoc},
     volume = {30},
     number = {2},
     year = {2000},
     url = {http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/}
}
TY  - JOUR
AU  - Z. 

 Ognjanović
AU  - T. Timotijević
TI  - On two 

 approaches to modal theorem proving
JO  - Novi Sad Journal of Mathematics
PY  - 2000
SP  - 83
EP  - 93
VL  - 30
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/
ID  - NSJOM_2000_30_2a_8
ER  - 
%0 Journal Article
%A Z. 

 Ognjanović
%A T. Timotijević
%T On two 

 approaches to modal theorem proving
%J Novi Sad Journal of Mathematics
%D 2000
%P 83-93
%V 30
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/
%F NSJOM_2000_30_2a_8
Z. 

 Ognjanović; T. Timotijević. On two 

 approaches to modal theorem proving. Novi Sad Journal of Mathematics, Tome 30 (2000) no. 2. http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/