An annotated corpus and a grammar model of theorem description (1980)

Cached

Download Links

by Yusuke Baba , Masakazu Suzuki
Venue:In [MKM03], 2003. [GHK + 80
Citations:1 - 0 self