Normal view
MARC view
Xia Bican Et Al(Personal Name)
Machine generated authority record
Work cat.: (OSt)1542050: Xia Bican Et Al, Automated Inequality Proving and Discovering