Normal view
MARC view
Gao, Xiao-shan and Wang, Dongming (Personal Name)
Machine generated authority record
Work cat.: (OSt)14150: Gao, Xiao-shan and Wang, Dongming , Mathematics mechanizations and applications , 2000