A content based mathematical search engine: whelp (2004)

by Andrea Asperti , Ferruccio Guidi , Claudio Sacerdoti Coen , Enrico Tassi , Stefano Zacchiroli
Venue:In: Post-proceedings of the Types 2004 International Conference, Vol. 3839 of LNCS
Citations:16 - 7 self