Kitaguchi Takashi | Global Food Safety Institute, Nissin Foods Holdings Co., Ltd.
スポンサーリンク
概要
論文 | ランダム
- ICMAS '95報告
- Zero-suppressed-BDDによる制約充足問題解法の性質 : 組合せ集合演算による非単調性の解明
- トランザクション論理におけるプログラム変換
- トランザクション論理プログラミングの実装とプランニングへの応用
- 百貨店の外装照明デザイン・公共公園の照明デザイン・映画館の照明デザイン(照明デザイナーズ特集)