Automated synthesis of combinational logic using theorem-proving techniques
スポンサーリンク
概要
論文 | ランダム
- 日本化学会第72春季年会
- 微生物を利用した米糠の発熱に関する研究
- 部位特異的変異導入による7鉄型フェレドキシンの酸化還元機能制御
- 好アルカリ性Bacillus sp. 41M-1株に由来するキシラナーゼJのC末端領域の機能解析 : 酵素
- 古細菌Haloarcula jaopnica TR-1株の細胞表層糖タンパク質をコードする遺伝子の解析 : 微生物