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

002-more on predicate calculus

飞飞fly
/
发布于
6年前
/
1930
人观看
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下载
相关推荐