Learning and discovery: one system s search for mathematical knowledge

Susan L. Epstein. Learning and discovery: one system s search for mathematical knowledge. Computational Intelligence, 4:42-53, 1988.

Abstract

Abstract is missing.