Igarashi Shigeru | College Of Community Development Tokiwa University
スポンサーリンク
概要
関連著者
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
Mizutani Tetsuya
Institute Of Information Science University Of Tsukuba
-
Igarashi Shigeru
College Of Community Development Tokiwa 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
-
Ikeda Yasuo
Mejiro University
-
Mizutani Tetsuya
Institute For Molecular And Cellular Regulation Gunma University
-
MIZUTANI Tetsuya
Department of Biochemistry, Fukui Medical University
-
Igarashi Shigeru
Department Of Applied Biological Chemistry Division Of Agriculture And Agricultural Life Sciences Th
-
IGARASHI Shigeru
Institute of Information Science University of Tsukuba
-
IKEDA Yasuwo
Mejiro University
-
SHIO Masayuki
Institute of Information Science, University of Tsukuba
-
Shirogane Tetsuya
Systems Research Department Of Central Research Laboratory Hitachi Ltd.
-
Mizutani Tetsuya
Department Of Biochemistry Faculty Of Medical Science University Of Fukui
-
IKEDA Yasuo
College of Computer & Media Science Saitama Junior College
-
SHIROGANE Tetsuya
Processor Systems Research Department, Central Research Laboratory, Hitachi, Ltd.
-
SHIROGANE Tetsuya
Systems Research Department of, Central Research Laboratory, Hitachi, Ltd.
著作論文
- 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
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC