島田 敦 | 国立病院機構東京医療センター／外科

スポンサーリンク

概要

• 島田 敦の詳細を見る
• 同名の論文著者
• 国立病院機構東京医療センター／外科の論文著者

論文 | ランダム

• 計算モデルとしての推論加群系 (アルゴリズムと計算の理論)
• 応動昆の半世紀(1.記念講演:「応動昆の生い立ち」,日本応用動物昆虫学会創立50周年)
• 応動昆の半世紀(記念講演「応動昆の生い立ち」)
• 推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
• Normal Vibrations of 1,3,5-Triazine

もっと見る

スポンサーリンク