Chandran Sajeev | Formulation Development & Pharmacokinetic Laboratory, Pharmacy Group, Birla Institute of Technology & Science
スポンサーリンク
概要
- Chandran Sajeevの詳細を見る
- 同名の論文著者
- Formulation Development & Pharmacokinetic Laboratory, Pharmacy Group, Birla Institute of Technology & Scienceの論文著者
論文 | ランダム
- 大衆路線の確立のために
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け(基礎理論,フォーマルアプローチ論文)
- 単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け
- LA-001 関数プログラムの再帰構造解析と強計算性に基づく十分完全性の証明法(A分野:モデル・アルゴリズム・プログラミング)
- 強計算性に基づいた単純型項書換え系の停止性証明法