%0 Journal Article %A Dragoš Cvetković %T Discussing Graph Theory with a Computer II, Theorems Suggested by the Computer %J Publications de l'Institut Mathématique %D 1983 %P 29 %V _N_S_33 %N 47 %I mathdoc %U http://geodesic.mathdoc.fr/item/PIM_1983_N_S_33_47_a3/ %G en %F PIM_1983_N_S_33_47_a3