A search engine for mathematical formulae (2006)

Cached

Download Links

by Michael Kohlhase , Ioan A. S¸ucan
Venue:Proc. of Artificial Intelligence and Symbolic Computation, number 4120 in LNAI
Citations:18 - 1 self