Languages
Xia, Bican.
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)