電子計算機の数学研究への応用
図書館・個人送信サービスを利用する
国立国会図書館デジタルコレクション
国立国会図書館の登録利用者(本登録)の方を対象とした、個人送信サービスで閲覧可能です。ただし、日本国外に居住している場合は、個人送信サービスを利用できません。
利用者登録する >
ログインする >
資料に関する注記
一般注記:
目次
p1
1 はじめに
2 不等式を扱う数式処理システムの研究
p10
2.1 背景
2.2 論理式の内部表現
p11
みなサーチに登録・ログインで利用できます
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。