博士論文
書影書影

論理型と関数型の融合プログラミングシステムに関する研究

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

論理型と関数型の融合プログラミングシステムに関する研究

国立国会図書館請求記号
UT51-91-L107
国立国会図書館書誌ID
000000241097
国立国会図書館永続的識別子
info:ndljp/pid/3085653
資料種別
博士論文
著者
三宅延久 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
東北大学,工学博士
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • 目次

  • 1.序論

    p1

  • 1.1 はじめに

    p1

  • 1.2 論文の構成

    p4

  • 2.等式論理プログラム

    p7

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

  • 東北大学機関リポジトリ TOUR

    デジタル
    連携先のサイトで、学術機関リポジトリデータベース(IRDB)(機関リポジトリ)が連携している機関・データベースの所蔵状況を確認できます。

障害者向け資料で読む

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
タイトルよみ
ロンリガタ ト カンスウガタ ノ ユウゴウ プログラミング システム ニ カンスル ケンキュウ
著者・編者
三宅延久 [著]
著者標目
三宅, 延久 ミヤケ, ノブヒサ
授与機関名
東北大学
授与年月日
平成3年3月28日
授与年月日(W3CDTF)
1991
報告番号
甲第4403号
学位
工学博士