2018年9月23日
一阶逻辑及其到Kripke Structure的转换
摘要： First order logic: logical connectives and quantifications Describ... 阅读全文
posted @ 2018-09-23 11:37 从流域到海域 阅读(120) 评论(0) 推荐(0) 编辑