| 标题 |
[高分] 书籍 Logic for applications
应用逻辑
相关领域
谓词逻辑
逻辑程序设计
序言
动态逻辑（数字电子）
模态逻辑
稳健性
计算逻辑
谓词（数理逻辑）
一阶逻辑
哥德尔完备性定理
高阶逻辑
计算机科学
霍恩条款
自动定理证明
程序设计语言
谓词函子逻辑
古典逻辑
牙石（牙科）
多模态逻辑
逻辑哲学
数学
情态动词
离散数学
描述逻辑
自认知逻辑
高分子化学
牙科
化学
晶体管
电压
物理
医学
量子力学
|
| 网址 |
求助人暂未提供
|
| DOI |
暂未提供，该求助的时间将会延长，查看原因？
|
| 其它 |
期刊： 作者：Anil Nerode; Richard A. Shore 出版日期：1993-01-01 最新版本 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
杳鸢
张益萌
cocolu
个性的紫菜
彭于彦祖
劲秉
yar
丰知然
我不爱池鱼
从容芮
良辰
pluto
方赫然
8R60d8
asdxsweef
子车茗
mhl11
模糊中正
萧水白
Billy
皖公网安备34019202002308
