本文に飛ぶ

年 〜
年

検索結果 130 件

帰納的関数 復刊

帰納的関数 復刊
紙図書
廣瀬健 著共立出版2024.12<MA41-R13>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）リカーシブ関数 Recursive functions

Recursive macroeconomic theory Third edition.

Recursive macroeconomic theory Third edition.
紙図書
Lars Ljungqvist, Thomas J. Sargent.The MIT Press[2012]<DA1-B416>
国立国会図書館
  • 件名Macroeconomics. Recursive functions. Statics and dynamics (Social...

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)

Abstract datatypes in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-97-206264)
マイクロ図書
1997<YCA-NAS 1.26:206264>
国立国会図書館
  • 件名Prototypes Binary data Trees (Mathematics) Recursive functions Data structures Data processi...

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
紙図書
North-Hollandc1992.<MA41-A80>
国立国会図書館
  • 件名帰納的関数. Recursive functions.

Recursive macroeconomic theory : hardcover 4th ed

Recursive macroeconomic theory : hardcover 4th ed
紙図書
Lars Ljungqvist, Thomas J. SargentMIT Pressc2018
全国の図書館
  • 件名Macroeconomics Recursive functions Statics and dynamics (Social ...

An investigation of new methods for estimating parameter sensitivities [microform] / Todd J. Beltracchi and Gary A. Gabriele (NASA contractor report ; 4245)

An investigation of new methods for estimating parameter sensitivities [microform] / Todd J. Beltracchi and Gary A. Gabriele (NASA contractor report ; 4245)
マイクロ図書
1989<YCA-NAS 1.26:4245>
国立国会図書館
  • 件名...ic programming Recursive functions Sensitivity Stability derivat...

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
紙デジタル図書
篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）リカーシブ関数 Recursive functions

Recursive identification and parameter estimation : hardback

Recursive identification and parameter estimation : hardback
紙図書
Han-Fu Chen, Wenxiao ZhaoCRC Press, Taylor & Francisc2014
全国の図書館
  • 件名Systems engineering -- Mathematics Parameter estimation Recursive functions

Recursivity and contingency : pbk

Recursivity and contingency : pbk
紙図書
Yuk HuiRowman & Littlefield Internationalc2019
全国の図書館
  • 件名...ionals (Logic) Recursive functions

Minimum impatience theorems for recursive economic models / Gerhard Sorger. (Lecture notes in economics and mathematical systems)

Minimum impatience theorems for recursive economic models / Gerhard Sorger. (Lecture notes in economics and mathematical systems)
紙図書
Springer-Verlagc1992.<DA49-A67>
国立国会図書館
  • 件名数理経済学. 経済モデル. 帰納的関数. Economics -- Mathematical models. Recursive functions.

Recursive macroeconomic theory : hard 3rd ed

Recursive macroeconomic theory : hard 3rd ed
紙図書
Lars Ljungqvist, Thomas J. SargentMIT Pressc2012
全国の図書館
  • 件名Macroeconomics Recursive functions Statics and dynamics (Social ...

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]
紙図書
Rod AdamsDocent Pressc2011
全国の図書館
  • 件名Recursive functions -- History Com......rem -- History Recursive functions Computable functions Gödel's ...
  • 一般注記... the theory of recursive functions and computabil......development of recursive functions from their origins in the lat...

Elementary induction on abstract structures

Elementary induction on abstract structures
紙図書
Yiannis N. MoschovakisDover Publications2008
全国の図書館
  • 件名Recursive functions Induction (Mathematics)

Super-recursive algorithms

Super-recursive algorithms
紙図書
Mark BurginSpringerc2005
全国の図書館
  • 件名Recursive functions Algorithms

Computability and logic : pbk : hard 5th ed

Computability and logic : pbk : hard 5th ed
紙図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2007
全国の図書館
  • 件名Computable functions Recursive functions Logic, Symbolic and mathemati...

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)
紙図書
Springer-Verlag1977.<MA41-112>
国立国会図書館
  • 件名Recursive functions.

帰納的関数 (共立講座現代の数学 ; 3)

帰納的関数 (共立講座現代の数学 ; 3)
紙デジタル図書障害者向け資料あり
広瀬健 著共立出版1989.2<MA41-E16>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）リカーシブ関数 Recursive functions

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer. (London Mathematical Society lecture note series ; 45)
紙図書
Cambridge University Press1980.<MA41-165>
国立国会図書館
  • 件名Recursion theory -- Congresses. Recursive functions -- Congresses.

Stochastic approximation and recursive algorithms and applications 2nd ed.

Stochastic approximation and recursive algorithms and applications 2nd ed.
紙図書
Harold J. Kushner, G. George YinSpringerc2003
全国の図書館
  • 件名Stochastic approximation Recursive functions Algorithms

Stochastic processes : estimation, optimization & analysis

Stochastic processes : estimation, optimization & analysis
紙図書
edited by Kaddour Najim, Enso Ikonen, and Ait-Kadi DaoudKogan Page Science2004
全国の図書館
  • 件名Stochastic processes Estimation theory Mathematical optimization Recursive functions
RSS