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/