Combining symbolic computation and theorem proving: some problems of Ramanujan (1994)

Cached

Download Links

by Edmund Clarke , Xudong Zhao
Venue:In A. Bundy (Ed.), Automated Deduction (CADE-12
Citations:12 - 3 self