Search results for: Yanhong Men
Formalized Mathematics > 2010 > 18 > 1 > 53-56
Formalized Mathematics > 2009 > 17 > 1 > 23-35
Formalized Mathematics > 2009 > 17 > 4 > 245-248
Formalized Mathematics > 2009 > 17 > 2 > 187-192
Formalized Mathematics > 2010 > 18 > 1 > 53-56
Formalized Mathematics > 2009 > 17 > 1 > 23-35
Formalized Mathematics > 2009 > 17 > 4 > 245-248
Formalized Mathematics > 2009 > 17 > 2 > 187-192