Novi Sad Journal of Mathematics, Tome 30 (2000) no. 2
Citer cet article
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/
@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},
year = {2000},
volume = {30},
number = {2},
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
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
%U http://geodesic.mathdoc.fr/item/NSJOM_2000_30_2a_8/
%F NSJOM_2000_30_2a_8
