A graph-based approach towards discerning inherent structures in a digital library of formal mathematics (2004)

Cached

Download Links

by Lori Lorigo , Jon Kleinberg , Richard Eaton , Robert Constable
Venue:In Lecture Notes in Computer Science
Citations:3 - 1 self