博士論文
書影書影

電子計算機の数学研究への応用

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

電子計算機の数学研究への応用

国立国会図書館請求記号
UT51-96-H428
国立国会図書館書誌ID
000000296698
国立国会図書館永続的識別子
info:ndljp/pid/3111531
資料種別
博士論文
著者
井戸川知之 [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
早稲田大学,博士 (理学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • 目次

    p1

  • 1 はじめに

    p1

  • 2 不等式を扱う数式処理システムの研究

    p10

  • 2.1 背景

    p10

  • 2.2 論理式の内部表現

    p11

障害者向け資料で読む

書誌情報

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

デジタル

資料種別
博士論文
タイトルよみ
デンシ ケイサンキ ノ スウガク ケンキュウ エ ノ オウヨウ
著者・編者
井戸川知之 [著]
著者標目
井戸川, 知之 イドガワ, トモユキ
授与機関名
早稲田大学
授与年月日
平成8年2月8日
授与年月日(W3CDTF)
1996
報告番号
甲第1106号
学位
博士 (理学)