新井 紀子 | 広島市立大学情報科学部

スポンサーリンク

概要

• 同名の論文著者
• 広島市立大学情報科学部の論文著者

関連著者

• 新井 紀子

  国立情報学研究所

• 新井 紀子

  広島市立大学情報科学部

• 舛川 竜治

  広島市立大学情報科学部

著作論文

• 計算量階層分離問題へのロジックからのアプローチ
• 知的自動証明機の提案と実装 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)

スポンサーリンク