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/