# Search results for: Xiquan Liang

Formalized Mathematics > 2008 > 16 > 1 > 65-71

Formalized Mathematics > 2008 > 16 > 3 > 253-258

Formalized Mathematics > 2008 > 16 > 1 > 23-28

Formalized Mathematics > 2008 > 16 > 2 > 159-165

Formalized Mathematics > 2008 > 16 > 2 > 141-145

Formalized Mathematics > 2008 > 16 > 1 > 45-49

Formalized Mathematics > 2008 > 16 > 4 > 355-360

Journal of the American Society for Mass Spectrometry > 2007 > 18 > 11 > 1932-1944

Formalized Mathematics > 2007 > 15 > 4 > 181-187

Formalized Mathematics > 2007 > 15 > 3 > 151-157

Formalized Mathematics > 2007 > 15 > 4 > 189-198

Formalized Mathematics > 2007 > 15 > 4 > 237-242

Journal of The American Society for Mass Spectrometry > 2007 > 18 > 11 > 1932-1944

Formalized Mathematics > 2006 > 14 > 4 > 129-134

Formalized Mathematics > 2006 > 14 > 1 > 7-12

Formalized Mathematics > 2006 > 14 > 1 > 37-45

Formalized Mathematics > 2006 > 14 > 4 > 161-169

Formalized Mathematics > 2006 > 14 > 3 > 115-119