Presentation 2022-07-14
Formalization of centroid method in fuzzy approximate reasoning by Mizar
Takashi Mitsuishi,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English)
Keyword(in Japanese) (See Japanese page)
Keyword(in English)
Paper # CS2022-26
Date of Issue 2022-07-07 (CS)

Conference Information
Committee CS
Conference Date 2022/7/14(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Yakushima Environmental and Cultural Village Center
Topics (in Japanese) (See Japanese page)
Topics (in English) Next Generation Networks, Access Networks, Broadband Access, Power Line Communications, Wireless Communication Systems, Coding Systems, etc.
Chair Daisuke Umehara(Kyoto Inst. of Tech.)
Vice Chair Seiji Kozaki(Mitsubishi Electric)
Secretary Seiji Kozaki(Chiba Inst. of Tech.)
Assistant Hikaru Kawasaki(NICT) / Yuta Ida(Yamaguchi Univ.)

Paper Information
Registration To Technical Committee on Communication Systems
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Formalization of centroid method in fuzzy approximate reasoning by Mizar
Sub Title (in English)
Keyword(1)
1st Author's Name Takashi Mitsuishi
1st Author's Affiliation Nagano University(Nagano Univ.)
Date 2022-07-14
Paper # CS2022-26
Volume (vol) vol.122
Number (no) CS-110
Page pp.pp.53-56(CS),
#Pages 4
Date of Issue 2022-07-07 (CS)