第二章 带约束的认识缺省逻辑（CEDL） 25-36
基于12个网页-相关网页
It presents a Checking Expression Definition Language (CEDL), and the design and implementation of the STCS is discussed in detail.
文中提出了校核规则定义语言cedl的表示方法，并重点讨论了系统的设计与实现。
youdao
应用推荐
模块上移
模块下移
不移动