Search results for: Bo Li
Studia Mathematica > 2013 > 217 > 3 > 243-263
Formalized Mathematics > 2010 > 18 > 2 > 129-141
Formalized Mathematics > 2010 > 18 > 1 > 27-37
Formalized Mathematics > 2010 > 18 > 2 > 143-157
Formalized Mathematics > 2009 > 17 > 1 > 23-35
Formalized Mathematics > 2009 > 17 > 4 > 245-248
Formalized Mathematics > 2009 > 17 > 1 > 11-21
Formalized Mathematics > 2009 > 17 > 2 > 61-65
Formalized Mathematics > 2009 > 17 > 2 > 187-192
Formalized Mathematics > 2008 > 16 > 1 > 45-49
Formalized Mathematics > 2007 > 15 > 4 > 243-250
Formalized Mathematics > 2007 > 15 > 3 > 73-79
Formalized Mathematics > 2006 > 14 > 1 > 37-45
Formalized Mathematics > 2006 > 14 > 3 > 71-78
Formalized Mathematics > 2006 > 14 > 3 > 115-119
Formalized Mathematics > 2006 > 14 > 3 > 109-114