TATENO Minako | Core Research tor Evolutional Science and Technology(CREST)of the Japan Science and Technology Corporation, Laboratory for Genome Exploration Research Project, Genome Science Center(GSC), Genome Science Laboratory, Institute of Physical and Chemical Resea

スポンサーリンク

概要

• TATENO Minakoの詳細を見る
• 同名の論文著者
• Core Research tor Evolutional Science and Technology(CREST)of the Japan Science and Technology Corporation, Laboratory for Genome Exploration Research Project, Genome Science Center(GSC), Genome Science Laboratory, Institute of Physical and Chemical Reseaの論文著者

論文 | ランダム

• 新しい調香素材を求めて(3)ローズマリー精油の香気とその機能性
• β節充足可能性問題の解法についての考察
• 部分例示に基づく定理自動証明
• β節集合に対するDavis-Putnamの手続きの一般化
• 部分例示手法に基づく充足可能性判定手続き

もっと見る

スポンサーリンク