Knowledge and reasoning in graph theory research (abstract only)

Marc J. Lipman, Robert L. Sedlmeyer. Knowledge and reasoning in graph theory research (abstract only). In Pat Davis, Vicki McClintock, editors, Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987. pages 415, ACM, 1987. [doi]

Abstract

Abstract is missing.