%0 Journal Article
%A Dragoš M. Cvetković
%A Irena Pevac
%T Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
%J Publications de l'Institut Mathématique
%D 1983
%P 37 
%V _N_S_34
%N 48
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_34_48_a6/
%G en
%F PIM_1983_N_S_34_48_a6