利用ガイド
検索キーワード:(指定なし)
該当件数:9件
Completeness of Dynamic Time-Bounded Derivation for Locally Weak Reducing Programs
九大文献 <3138>
Sufficiency of Operators Identification and Inter-construction in Inverting Resolution
九大文献 <3131>
EXISTENCE OF THE CHARACTERISTIC NUMBERS ASSOCIATED WITH CELLULAR AUTOMATA WITH LOCAL TRANSITION RULE 90
九大文献 <13413>
ON A POLYNOMIAL REPRESENTATION OF FINITE LINEAR CELLULAR AUTOMATA
九大文献 <13414>
COMPARISON OF TWO CATEGORICAL MODELS OF TYPED $ lambda $-CALCULUS
九大文献 <13415>
ZERO-SUM GAMES FOR DISCRETE-TIME MULTI-PARAMETER PROCESSES
九大文献 <13416>
$ \varepsilon $-DIRECTIONAL DERIVATIVE OF A MARGINAL FUNCTION IN PARAMETRIZED CONVEX PROGRAMMING
九大文献 <13417>
A COMPARATIVE STUDY ON THE METHODS OF NUMERICAL ANALYSIS FOR MAXIMUM LIKELIHOOD ESTIMATION
九大文献 <13418>
ESTIMATION OF JUMP REGRESSION FUNCTION
九大文献 <13419>