コレクションホームページ
0189 プログラムの基礎理論
11
0189 プログラムの基礎理論
11
(http://hdl.handle.net/2433/100780)
ブラウズ
文献一覧（目次の昇順ソート）: 1 - 11 / 11
| 書誌情報 | ファイル |
|---|---|
| 表紙・目次 (1973-10) 数理解析研究所講究録, 189 |  |
| Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論) IGARASHI, SHIGERU (1973-10) 数理解析研究所講究録, 189: 2-6 | |
| Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論) HIROSE, KEN; OTANI, MAKOTO (1973-10) 数理解析研究所講究録, 189: 7-12 | |
| On the Key Assertions (プログラムの基礎理論) TAKASU, SATORU (1973-10) 数理解析研究所講究録, 189: 13-37 | |
| Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論) NISHIMURA, TOSHIO (1973-10) 数理解析研究所講究録, 189: 38-51 | |
| Theorem-ProvingのProgram (プログラムの基礎理論) 西村, 敏男; 井出, 修; 大矢, 建正; 神居, 雅志 (1973-10) 数理解析研究所講究録, 189: 52-59 | |
| Preparations for Formal Study of a Simple Program Including Floating-Point Arithmetic (プログラムの基礎理論) USHIJIMA, KAZUO (1973-10) 数理解析研究所講究録, 189: 60-69 | |
| A Formal System of Programs (プログラムの基礎理論) KANAYAMA, YUTAKA (1973-10) 数理解析研究所講究録, 189: 70-81 | |
| Data Typeの公理系 (プログラムの基礎理論) 伊藤, 貴康 (1973-10) 数理解析研究所講究録, 189: 82-88 | |
| Computer Program Synthesis From Computation Traces (プログラムの基礎理論) BIERMANN, A.W. (1973-10) 数理解析研究所講究録, 189: 89-100 | |
| Analysis of a Disk Operating System (プログラムの基礎理論) OKUI, JUN; TOKURA, NOBUKI; KASAMI, TADAO (1973-10) 数理解析研究所講究録, 189: 101-117 | |
文献一覧（目次の昇順ソート）: 1 - 11 / 11
