查看会员资料
用 户 名：吴****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
shuliluoji
- 计算机科学中的数理逻辑 有4个功能：1）判断一个表达式是否是公式 2）查找出一个公式的所有子公式 3）去除双非 4）去除蕴涵-Computer science in mathematical logic has four functions: 1) to determine whether it is an expression equation 2) to find out a formula for all the sub-formula 3) removal of pairs