モデル理論と証明論

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 1990-09-01

著者

• 佐藤 洋祐

  (財)新世代コンピュータ技術開発機構

関連論文

• ブール多項式環上のグレブナー基底(代数的コード理論および語の組合せ論) 
• モデル理論と証明論

スポンサーリンク