%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