申请试用
HOT
登录
注册
 
002-more on predicate calculus

002-more on predicate calculus

飞飞fly
/
发布于
/
1883
人观看
This chapter is mainly about more on predicate calculus, which mainly includes recap,low-level logic, high-level logic,more on processing logical formulae,rules of inference,logical equivalences and so on.
1点赞
1收藏
0下载
相关推荐
确认
3秒后跳转登录页面
去登陆