Yinghong Li 0001

Ying-Hong Li 0001

Person information

  • affiliation: Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Key Lab of Mathematics Mechanization, Beijing, China

Other persons with the same name

Refine list

showing all ?? records

Journal Articles

a service of  Schloss Dagstuhl - Leibniz Center for Informatics