Search results for: Bo Zhang
Formalized Mathematics > 2007 > 15 > 3 > 111-119
Formalized Mathematics > 2006 > 14 > 3 > 101-108
Formalized Mathematics > 2006 > 14 > 4 > 225-229
Formalized Mathematics > 2007 > 15 > 3 > 111-119
Formalized Mathematics > 2006 > 14 > 3 > 101-108
Formalized Mathematics > 2006 > 14 > 4 > 225-229