MoMM—fast interreduction and retrieval in large libraries of formalized mathematics (2006)

by J Urban
Venue:International Journal on Artificial Intelligence Tools