Argument filterings and usable rules in higher-order rewrite systems (ソフトウェアサイエンス)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-08-05
論文 | ランダム
- Mobilization of Starch and Essential Oil Biogenesis during Leaf Ontogeny of Lemongrass (Cymbopogon flexuosus Stapf.)
- Raman Scattering Spectra of Ca_2Sr(C_2H_5CO_2)_6 and Ca_2Pb(C_2H_5Co_2)_6
- ネガ画像を用いた市街地地形図からの平行要素の抽出
- H形ゾンデを用いた地形図のネガ画像からの線分抽出
- フラクタルな線図形の符号化についての一考察