Declarative semantics of programming in residuated lattice-valued logic

Mingsheng Ying
一月 2000
引用
类型
期刊文章
出版物
中国科学: 技术科学英文版
应明生
应明生
教授