富田 一夫 | Nttデータクリエイション株式会社

スポンサーリンク

概要

• 富田 一夫の詳細を見る
• 同名の論文著者
• Nttデータクリエイション株式会社の論文著者

関連著者

• 富田 一夫

  Nttデータクリエイション株式会社

• 若木 利子

  芝浦工業大学システム工学部

• 若木 利子

  芝浦工業大学システム理工学部電子情報システム学科

• 若木 利子

  芝浦工業大学

• 若木 利子

  芝浦工業大学大学院工学研究科 システム工学部

著作論文

• 生成と検査の論理プログラムの統合による極小限定・定理証明器の構築
• 生成と検査の論理プログラムの統合による優先順位付き極小限定・定理証明器の構築
• 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)

スポンサーリンク