コレクションホームページ
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