石曽根 信 | (株)SRA

スポンサーリンク

概要

• 石曽根 信の詳細を見る
• 同名の論文著者
• (株)SRAの論文著者

関連著者

• 澤田 寿実

  (株)sra

• 石曽根 信

  (株)SRA

• 緒方 和博

  北陸先端科学技術大学院大学情報科学研究科

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 中川 中

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

• Diaconescu Razvan

  北陸先端科学技術大学院大学

• 緒方 和博

  北陸先端科学技術大学院大学

著作論文

• 定理証明システムのための統合サーバの作成
• 項書換え系に基づく定理証明支援環境の構築
• 項書換え抽象機械における組み込み演算の処理

スポンサーリンク