Jump to main content

yr 〜
yr

Search results 130

帰納的関数 復刊

帰納的関数 復刊
Paper図書
廣瀬健 著共立出版2024.12<MA41-R13>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）リカーシブ関数 Recursive functions

Recursive macroeconomic theory Third edition.

Recursive macroeconomic theory Third edition.
Paper図書
Lars Ljungqvist, Thomas J. Sargent.The MIT Press[2012]<DA1-B416>
National Diet Library
  • Subject HeadingMacroeconomics. 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)
Microform図書
1997<YCA-NAS 1.26:206264>
National Diet Library
  • Subject HeadingPrototypes 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)
Paper図書
North-Hollandc1992.<MA41-A80>
National Diet Library
  • Subject Heading帰納的関数. Recursive functions.

Recursive macroeconomic theory : hardcover 4th ed

Recursive macroeconomic theory : hardcover 4th ed
Paper図書
Lars Ljungqvist, Thomas J. SargentMIT Pressc2018
Other Libraries in Japan
  • Subject HeadingMacroeconomics 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)
Microform図書
1989<YCA-NAS 1.26:4245>
National Diet Library
  • Subject Heading...ic programming Recursive functions Sensitivity Stability derivat...

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

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
PaperDigital図書
篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）リカーシブ関数 Recursive functions

Recursive identification and parameter estimation : hardback

Recursive identification and parameter estimation : hardback
Paper図書
Han-Fu Chen, Wenxiao ZhaoCRC Press, Taylor & Francisc2014
Other Libraries in Japan
  • Subject HeadingSystems engineering -- Mathematics Parameter estimation Recursive functions

Recursivity and contingency : pbk

Recursivity and contingency : pbk
Paper図書
Yuk HuiRowman & Littlefield Internationalc2019
Other Libraries in Japan
  • Subject Heading...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)
Paper図書
Springer-Verlagc1992.<DA49-A67>
National Diet Library
  • Subject Heading数理経済学. 経済モデル. 帰納的関数. Economics -- Mathematical models. Recursive functions.

Recursive macroeconomic theory : hard 3rd ed

Recursive macroeconomic theory : hard 3rd ed
Paper図書
Lars Ljungqvist, Thomas J. SargentMIT Pressc2012
Other Libraries in Japan
  • Subject HeadingMacroeconomics 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.]
Paper図書
Rod AdamsDocent Pressc2011
Other Libraries in Japan
  • Subject HeadingRecursive functions -- History Com......rem -- History Recursive functions Computable functions Gödel's ...
  • Note (General)... 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
Paper図書
Yiannis N. MoschovakisDover Publications2008
Other Libraries in Japan
  • Subject HeadingRecursive functions Induction (Mathematics)

Super-recursive algorithms

Super-recursive algorithms
Paper図書
Mark BurginSpringerc2005
Other Libraries in Japan
  • Subject HeadingRecursive functions Algorithms

Computability and logic : pbk : hard 5th ed

Computability and logic : pbk : hard 5th ed
Paper図書
George S. Boolos, John P. Burgess, Richard C. JeffreyCambridge University Press2007
Other Libraries in Japan
  • Subject HeadingComputable 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)
Paper図書
Springer-Verlag1977.<MA41-112>
National Diet Library
  • Subject HeadingRecursive functions.

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

帰納的関数 (共立講座現代の数学 ; 3)
PaperDigital図書障害者向け資料あり
広瀬健 著共立出版1989.2<MA41-E16>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）リカーシブ関数 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)
Paper図書
Cambridge University Press1980.<MA41-165>
National Diet Library
  • Subject HeadingRecursion theory -- Congresses. Recursive functions -- Congresses.

Stochastic approximation and recursive algorithms and applications 2nd ed.

Stochastic approximation and recursive algorithms and applications 2nd ed.
Paper図書
Harold J. Kushner, G. George YinSpringerc2003
Other Libraries in Japan
  • Subject HeadingStochastic approximation Recursive functions Algorithms

Stochastic processes : estimation, optimization & analysis

Stochastic processes : estimation, optimization & analysis
Paper図書
edited by Kaddour Najim, Enso Ikonen, and Ait-Kadi DaoudKogan Page Science2004
Other Libraries in Japan
  • Subject HeadingStochastic processes Estimation theory Mathematical optimization Recursive functions
RSS