Efficient Retrieval of Mathematical Statements (2004)

Cached

Download Links

by Andrea Asperti , Matteo Selmi , Via Mura , Anteo Zamboni
Venue:In Proceeding of the Third International Conference on Mathematical Knowledge Management, MKM 2004. Bialowieza, Poland. LNCS 3119
Citations:8 - 2 self