Learning and discovery: one system's search for mathematical knowledge (1988)

by S L Epstein
Venue:Computational Intelligence