Search results for: Kazuhisa Ishida
Formalized Mathematics > 2014 > 22 > 1 > 1-10
Formalized Mathematics > 2010 > 18 > 1 > 47-51
Formalized Mathematics > 2008 > 16 > 3 > 231-245
Formalized Mathematics > 2008 > 16 > 4 > 339-353
Formalized Mathematics > 2006 > 14 > 4 > 171-186