本文に飛ぶ

年 〜
年

検索結果 130 件

帰納的関数 復刊

帰納的関数 復刊
紙図書
廣瀬健 著共立出版2024.12<MA41-R13>
国立国会図書館全国の図書館

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>
国立国会図書館

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
全国の図書館

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>
国立国会図書館

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

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
紙デジタル図書
篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
国立国会図書館全国の図書館

Recursivity and contingency : pbk

Recursivity and contingency : pbk
紙図書
Yuk HuiRowman & Littlefield Internationalc2019
全国の図書館

Recursive identification and parameter estimation : hardback

Recursive identification and parameter estimation : hardback
紙図書
Han-Fu Chen, Wenxiao ZhaoCRC Press, Taylor & Francisc2014
全国の図書館

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
全国の図書館

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
全国の図書館

Elementary induction on abstract structures

Elementary induction on abstract structures
紙図書
Yiannis N. MoschovakisDover Publications2008
全国の図書館

Super-recursive algorithms

Super-recursive algorithms
紙図書
Mark BurginSpringerc2005
全国の図書館

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
全国の図書館

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>
国立国会図書館全国の図書館

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>
国立国会図書館

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 processes : estimation, optimization & analysis

Stochastic processes : estimation, optimization & analysis
紙図書
edited by Kaddour Najim, Enso Ikonen, and Ait-Kadi DaoudKogan Page Science2004
全国の図書館
RSS