申请试用
HOT
登录
注册
 
018-Inference in First Order Logic

018-Inference in First Order Logic

飞飞fly
/
发布于
/
1762
人观看
This chapter is mainly about inference in first order logic,which generally includes inference rules for FOL,generalized modus ponens,resolution for FOL,converting FOL sentences to clause form,conversion procedure to CNF and so on.
12点赞
2收藏
0下载
相关推荐
确认
3秒后跳转登录页面
去登陆