Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation
Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation
复制标题
专业化系统的逻辑结构:形式化和可满足性保持转换
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Ekawit Nantajeewarawat and Hidemi Ogasawara
中科院分区：
文献类型：
--
作者：
Kiyoshi Akama;Ekawit Nantajeewarawat and Hidemi Ogasawara
