Jump to main content

yr 〜
yr

Search results 13

帰納的関数 復刊

帰納的関数 復刊
Paper図書
廣瀬健 著共立出版2024.12
National Diet LibraryOther Libraries in Japan

構成的算術体系に対する部分帰納的実現可能性解釈の研究

構成的算術体系に対する部分帰納的実現可能性解釈の研究
Paper図書
石原, 哉, 北陸先端科学技術大学院大学1997-2000<Y151-H09640253>
National Diet Library

型理論的アプローチによる証明論および計算論の研究

型理論的アプローチによる証明論および計算論の研究
Paper図書
高橋正子, 国際基督教大学 [著][高橋正子]2000-2003<Y151-H12640107>
National Diet Library

帰納的関数論の計算量問題への応用

帰納的関数論の計算量問題への応用
Paper図書
篠田, 壽一, 名古屋大学1997-1998<Y151-H09640257>
National Diet Library

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)

Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa. (ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05)
Paper図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam[1996?]<M121-A152>
National Diet Library
  • Subject Heading形式言語. 帰納的関数. 集合論.

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.

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

帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
Paper図書
篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
National Diet LibraryOther Libraries in Japan

帰納的関数論の総合的研究

帰納的関数論の総合的研究
Paper図書
篠田, 壽一, 名古屋大学1994-1995<Y151-H06302014>
National Diet Library

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 mod...

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

帰納的関数 (共立講座現代の数学 ; 3)
PaperDigital図書
広瀬健 著共立出版1989.2<MA41-E16>
National Diet LibraryOther Libraries in Japan

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)

The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire. (Springer series in solid-state sciences ; 58)
Paper図書
Springer-Verlagc1985.<MC141-A9>
National Diet LibraryOther Libraries in Japan
  • Subject Heading固体. 帰納的関数. Solid state physics -- Method...

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
PaperDigital図書障害者向け資料あり
M.デーヴィス 著, 渡辺茂, 赤摂也 訳岩波書店1966<410.1-cD26k-W>
Available onlineNational Diet LibraryOther Libraries in Japan

計算の理論 (現代科学選書)

計算の理論 (現代科学選書)
Paper図書
M.デーヴィス著岩波書店1966.10
Other Libraries in Japan

Reached to the end of result.

RSS