検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
2入出カ対オートマトンによる計算機結合インタフェースの設計手順 (計算機構の数学的研究) 岩間, 一雄; 上林, 弥彦; 矢島, 脩三 (1977-05) 数理解析研究所講究録, 296: 168-197 | |
決定性プッシュダウンオートマトンの等価性判定問題についての一結果 (計算機構の数学的研究) 大山口, 通夫; 本多, 波雄 (1977-05) 数理解析研究所講究録, 296: 154-167 | |
Input Sets of Strongly Connected Automata (計算機構の数学的研究) ITO, MASAMI (1977-05) 数理解析研究所講究録, 296: 198-206 | |
The Firing Squad Synchronization Problem for Graphs (計算機構の数学的研究) NISHITANI, YASUAKI; HONDA, NAMIO (1977-05) 数理解析研究所講究録, 296: 207-237 | |
Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究) NAKAJIMA, REIJI; HONDA, MICHIO; NAKAHARA, HAYAO (1977-05) 数理解析研究所講究録, 296: 14-25 | |
Goto文のないプログラム形について (計算機構の数学的研究) 岩田, 茂樹 (1977-05) 数理解析研究所講究録, 296: 1-13 | |
Logical Basis of Program Synthesis (計算機構の数学的研究) 謝, 章文 (1977-05) 数理解析研究所講究録, 296: 26-35 |
絞り込み
資料種別