APPLICATION
教授マッチング
Public Professor Archive
茨城大学 · 工学部 · 講師
茨城大学 · 工学部 · 講師
研究キーワードbinary decision diagrams・partial order constraints・software verification・term rewriting systems・multiple reduction orderings・traveling salesman heuristics
研究分野情報科学・複合領域・計算機科学
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。