Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Inoué, Takao, Hanaoka, Riku
Partial Differentiation of Real Ternary Functions
Inoué, Takao, Xie, Bing, Liang, Xiquan
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Endou, Noboru, Shidama, Yasunari
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Inoué, Takao, Naumowicz, Adam, Endou, Noboru, Shidama, Yasunari
Second-Order Partial Differentiation of Real Ternary Functions
Inoué, Takao