Three-valued and four-valued approach to logic programming with negation

Mingsheng Ying, F-C Liu
一月 1999
引用
类型
期刊文章
出版物
Chinese Journal of Advanced Software Research