瀬尾 明志 | 日本ユニシス(株)

スポンサーリンク

概要

• 瀬尾 明志の詳細を見る
• 同名の論文著者
• 日本ユニシス(株)の論文著者

関連著者

• 瀬尾 明志

  日本ユニシス株式会社

• 瀬尾 明志

  日本ユニシス(株)

• 松島 英子

  日本ユニシス株式会社

• 中川 中

  (株)SRAソフトウエアエ学研究所

• 山田 勉

  日本ユニシス株式会社

• 中川 中

  (株) SRAソフトウェア工学研究所

著作論文

• 代数仕様統合開発のための枠組と実装
• 分散オブジェクトによる抽象ドキュメントの管理方法
• ネットワーク環境におけるインタラクティブな証明支援環境
• 等式論理系における制約解消による証明記述の枠組み

スポンサーリンク