Geodesic
Overview of Automated Reasoning in Serbia
Review of the National Center for Digitization, Tome 20 (2012) no. 1.

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

@article{NCD_2012_20_1_a4,
     author = {Predrag Jani\v{c}i\'c},
     title = {Overview of {Automated} {Reasoning} in {Serbia}},
     journal = {Review of the National Center for Digitization},
     pages = {53 - 58},
     publisher = {mathdoc},
     volume = {20},
     number = {1},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/NCD_2012_20_1_a4/}
}
TY  - JOUR
AU  - Predrag Janičić
TI  - Overview of Automated Reasoning in Serbia
JO  - Review of the National Center for Digitization
PY  - 2012
SP  - 53 
EP  -  58
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/NCD_2012_20_1_a4/
ID  - NCD_2012_20_1_a4
ER  - 
%0 Journal Article
%A Predrag Janičić
%T Overview of Automated Reasoning in Serbia
%J Review of the National Center for Digitization
%D 2012
%P 53 - 58
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NCD_2012_20_1_a4/
%F NCD_2012_20_1_a4
Predrag Janičić. Overview of Automated Reasoning in Serbia. Review of the National Center for Digitization, Tome 20 (2012) no. 1. http://geodesic.mathdoc.fr/item/NCD_2012_20_1_a4/