検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-2 / 2.
- 前
- 1
- 次
検索結果:
書誌情報 | ファイル |
---|---|
代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用) 鈴木, 一郎; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 92-105 | |
多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用) 伊藤, 実; 岩崎, 元昭; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 106-120 |