利用ガイド
検索キーワード:(指定なし)
該当件数:10件
SPLINE INTERPOLATION AND TWO-POINT BOUNDARY VALUE PROBLEMS
九大文献 <15221>
ON A SET OF STABLE DIFFERENCE SCHEMES FOR A HEAT EQUATION
九大文献 <15222>
MULTI-DIMENSIONAL CARDINAL SPLINE FUNCTION AND ITS APPLICATIONS
九大文献 <15223>
ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS
九大文献 <15224>
ON IMBEDDING BETWEEN STRONG HÖLDER SPACES AND LIPSCHITZ SPACES IN L^P
九大文献 <15225>
AN ALGEBRAIC PROOF OF KLEENE-MYHILL'S EQUIVALENCE THEOREM
九大文献 <15226>
A PROOF OF THE EQUIVALENCE OF COMPUTABILITY TO RECURSIVENESS WITH NO ARITHMETIZATION
九大文献 <15227>
A NOTE ON AN ORDERING OF NONREPEATED WORD SEQUENCES
九大文献 <15228>
SEQUENTIAL MACHINES WITH GENERAL COUNTERS
九大文献 <15229>
AN APPLICATION OF SHIFT-COMMUTATIVE LINEAR OPERATORS TO LINEAR AUTOMATIC CONTROL SYSTEMS WITH RANDOMNESS -A THEORETICAL FORMULATION-
九大文献 <15230>