APPLICATION
教授匹配
Public Professor Archive
茨城大学 · 工学部 · 講師
茨城大学 · 工学部 · 講師
研究关键词binary decision diagrams・partial order constraints・software verification・term rewriting systems・multiple reduction orderings・traveling salesman heuristics
研究领域情報科学・複合領域・計算機科学
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。