Languages
Yang, Lu, (1936-)
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Automated inequality proving and discovering /
by:
Yang, Lu, (1936-); Xia, Bican.
(Language materials, printed)