国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(2)
1980年代
(2)
1990年代
(7)
2000年代
(2)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(13)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(2)
紙
(13)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 13 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
構成的算術体系に対する部分帰納的実現可能性解釈の研究
構成的算術体系に対する部分帰納的実現可能性解釈の研究
紙
図書
石原, 哉, 北陸先端科学技術大学院大学
1997-2000
<Y151-H09640253>
国立国会図書館
型理論的アプローチによる証明論および計算論の研究
型理論的アプローチによる証明論および計算論の研究
紙
図書
高橋正子, 国際基督教大学 [著]
[高橋正子]
2000-2003
<Y151-H12640107>
国立国会図書館
帰納的関数論の計算量問題への応用
帰納的関数論の計算量問題への応用
紙
図書
篠田, 壽一, 名古屋大学
1997-1998
<Y151-H09640257>
国立国会図書館
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)
紙
図書
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam
[1996?]
<M121-A152>
国立国会図書館
件名
形式言語.
帰納的関数.
集合論.
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-Holland
c1992.
<MA41-A80>
国立国会図書館
件名
帰納的関数.
Recursive functions.
帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
帰納的関数と述語 (数学基礎論シリーズ ; 5巻)
紙
図書
篠田寿一 著
河合文化教育研究所
1997.5
<MA41-G40>
国立国会図書館
全国の図書館
帰納的関数論の総合的研究
帰納的関数論の総合的研究
紙
図書
篠田, 壽一, 名古屋大学
1994-1995
<Y151-H06302014>
国立国会図書館
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-Verlag
c1992.
<DA49-A67>
国立国会図書館
件名
数理経済学. 経済モデル.
帰納的関数.
Economics -- Mathematical mod...
帰納的関数 (共立講座現代の数学 ; 3)
帰納的関数 (共立講座現代の数学 ; 3)
紙
デジタル
図書
広瀬健 著
共立出版
1989.2
<MA41-E16>
国立国会図書館
全国の図書館
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)
紙
図書
Springer-Verlag
c1985.
<MC141-A9>
国立国会図書館
全国の図書館
件名
固体.
帰納的関数.
Solid state physics -- Method...
情報工学 形式論理と計算可能性 (東京大学工学教程)
情報工学 形式論理と計算可能性 (東京大学工学教程)
紙
図書
東京大学工学教程編纂委員会 編集, 蓮尾 一郎 著・文・その他, 浅田 和之 著・文・その他
丸善出版
2024-09-28
全国の図書館
計算の理論 (現代科学選書)
計算の理論 (現代科学選書)
紙
デジタル
図書
障害者向け資料あり
M.デーヴィス 著, 渡辺茂, 赤摂也 訳
岩波書店
1966
<410.1-cD26k-W>
インターネットで読める
国立国会図書館
全国の図書館
計算の理論 (現代科学選書)
計算の理論 (現代科学選書)
紙
図書
M.デーヴィス著
岩波書店
1966.10
全国の図書館
検索結果は以上です。
書誌情報を一括出力