Geodesic
Overview of Automated Reasoning in Serbia
Review of the National Center for Digitization, Tome 20 (2012), p. 53 
Predrag Janičić. Overview of Automated Reasoning in Serbia. Review of the National Center for Digitization, Tome 20 (2012), p. 53 . http://geodesic.mathdoc.fr/item/NCD_2012_20_a4/
@article{NCD_2012_20_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 },
     year = {2012},
     volume = {20},
     url = {http://geodesic.mathdoc.fr/item/NCD_2012_20_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 
VL  - 20
UR  - http://geodesic.mathdoc.fr/item/NCD_2012_20_a4/
ID  - NCD_2012_20_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 
%V 20
%U http://geodesic.mathdoc.fr/item/NCD_2012_20_a4/
%F NCD_2012_20_a4

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