Ikeda Yasuo | Mejiro University
スポンサーリンク
概要
関連著者
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
Mizutani Tetsuya
Institute Of Information Science University Of Tsukuba
-
Igarashi Shigeru
College Of Community Development Tokiwa University
-
Ikeda Yasuo
Mejiro University
-
SHIO Masayuki
College of Community Development, Tokiwa University
-
Shio Masayuki
College Of Community Development Tokiwa University
-
Mizutani Tetsuya
Department Of Computer Science University Of Tsukuba
-
MIZUTANI Tetsuya
Department of Biochemistry, Fukui Medical University
-
Igarashi Shigeru
Department Of Applied Biological Chemistry Division Of Agriculture And Agricultural Life Sciences Th
-
IKEDA Yasuwo
Mejiro University
-
Mizutani Tetsuya
Department Of Biochemistry Faculty Of Medical Science University Of Fukui
-
IKEDA Yasuo
College of Computer & Media Science Saitama Junior College
-
Mizutani Tetsuya
Institute For Molecular And Cellular Regulation Gunma University
著作論文
- LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS II
- LABELED CALCULI APPLIED TO VERIFICATION AND ANALYSIS OF TIME-CONCERNED PROGRAMS I
- TENSE ARITHMETIC II : @-CALCULUS AS AN ADAPTATION FOR FORMAL NUMBER THEORY