章衡
- 教师名称：章衡
- 教师拼音名称：Heng Zhang
- 性别：男
- 职称：副教授
其他联系方式
- 邮箱：
Decidable fragments of first-order language under stable model semantics and circumscription
点击次数:
发表刊物:AAAI 2010
合写作者:Heng Zhang, Mingsheng Ying
第一作者:Heng Zhang, Mingsheng Ying
论文类型:Unit Twenty Basic Research
通讯作者:Heng Zhang
是否译文:否