国立国会図書館サーチ(NDL SEARCH)
検索を開く
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
図書
論理学的手法を用いたプログラミング言語の計算モデルの理論
図書を表すアイコン
論理学的手法を用いたプログラミング言語の計算モデルの理論
国立国会図書館請求記号
Y151-H09480058
国立国会図書館書誌ID
000007056332
資料種別
図書
著者
岡田光弘, 慶応義塾大学
出版者
-
出版年
1997-1999
資料形態
紙
ページ数・大きさ等
-
NDC
-
すべて見る
資料に関する注記
一般注記:
文部省科学研究費補助金研究成果報告書
書店で探す
書店で探す
書店で探す
日本の古本屋
外部サイト
Google Book Search
外部サイト
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
書誌情報を出力
紙
資料種別
図書
タイトル
論理学的手法を用いたプログラミング言語の計算モデルの理論
タイトルよみ
ロンリガクテキ シュホウ オ モチイタ プログラミング ゲンゴ ノ ケイサン モデル ノ リロン
著者・編者
岡田光弘, 慶応義塾大学
著者標目
著者 :
岡田, 光弘
オカダ, ミツヒロ (
01011069
)
典拠
出版年月日等
1997-1999
出版年(W3CDTF)
1997
1999
数量
冊
その他のタイトル
研究種目 基盤研究(B)
件名標目
線形論理
センケイロンリ
相意味論
ソウイミロン
証明の正規化定理
シヨウメイノセイキカテイリ
(強) 停止性
(ツヨ) テイシセイ
計算モデル
ケイサンモデル
高階論理
コウカイロンリ
並行計算
ヘイコウケイサン
カツト消去定理
カツトシヨウキヨテイリ
NDLC
Y151
一般注記
文部省科学研究費補助金研究成果報告書
科研費課題番号
09480058
所蔵機関
国立国会図書館
請求記号
Y151-H09480058
連携機関・データベース
国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID(NDLBibID)
000007056332
http://id.ndl.go.jp/bib/000007056332
整理区分コード
214
もっと見る