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

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_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 },
     publisher = {mathdoc},
     volume = {20},
     year = {2012},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NCD_2012_20_a4/
%F NCD_2012_20_a4
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/