Discussing graph theory with a computer. II: Theorems suggested by the computer.

@article{Cvetkovic1983,
author = {Cvetkovic, Dragos M.},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {graph theoretical algorithms; expert system; conjectures in graph theory; system "Graph"},
language = {eng},
pages = {29-33},
publisher = {Izdaje Matematički Institut SANU},
title = {Discussing graph theory with a computer. II: Theorems suggested by the computer.},
url = {http://eudml.org/doc/257643},
volume = {33(47)},
year = {1983},
}

TY - JOUR
AU - Cvetkovic, Dragos M.
TI - Discussing graph theory with a computer. II: Theorems suggested by the computer.
JO - Publications de l'Institut Mathématique. Nouvelle Série
PY - 1983
PB - Izdaje Matematički Institut SANU
VL - 33(47)
SP - 29
EP - 33
LA - eng
KW - graph theoretical algorithms; expert system; conjectures in graph theory; system "Graph"
UR - http://eudml.org/doc/257643
ER -