Search results for: Kazuhisa Nakasho
Formalized Mathematics > 2017 > 25 > 3 > 179-184
Journal of Medical Systems > 2017 > 41 > 3 > 1-10
Formalized Mathematics > 2016 > 24 > 4 > 253-259
Formalized Mathematics > 2016 > 24 > 3 > 167-172
Formalized Mathematics > 2016 > 24 > 3 > 199-204
Formalized Mathematics > 2016 > 24 > 1 > 81-94
Formalized Mathematics > 2015 > 23 > 1 > 51-57
Formalized Mathematics > 2015 > 23 > 1 > 67-73
Formalized Mathematics > 2015 > 23 > 1 > 15-27
Formalized Mathematics > 2015 > 23 > 1 > 59-65
Formalized Mathematics > 2014 > 22 > 4 > 277-289
Formalized Mathematics > 2014 > 22 > 3 > 189-198
Formalized Mathematics > 2014 > 22 > 3 > 209-223
Formalized Mathematics > 2013 > 21 > 3 > 207-211