Supervisor of Master's Candidates
Journal:Journal of Symbolic Computation
Indexed by:The basic research
Volume:102
Page Number:3-20
Translation or Not:no
Date of Publication:2021-01-01
Included Journals:SCI