只为小站
首页
域名查询
文件下载
登录
首页
面向计算机科学的数理逻辑(PDF:陆钟万)
面向计算机科学的数理逻辑(PDF:陆钟万)
上传者:
dwlitt
|
上传时间: 2021-08-03 16:31:24
|
文件大小: 3.07MB
|
文件类型: RAR
数理逻辑
形式化
1) PDF格式,带目录 2) 陆中万著,科学出版社
文件下载
立即下载
资源详情
[{"title":"( 1 个子文件 3.07MB ) 面向计算机科学的数理逻辑(PDF:陆钟万)","children":[{"title":"面向计算机科学的数理逻辑.pdf <span style='color:#111;'> 3.29MB </span>","children":null,"spread":false}],"spread":true}]
评论信息
ifuleyouaaa :
非常有帮助,考博帮了大忙
2018-11-19
princool :
很好,谢谢分享
2018-01-24
kakie_chan :
很好,谢谢分享
2016-12-21
l85804568 :
写的很不错,同时配着几本书一起看,方便理解
2014-05-06
polly111111111 :
还不错,扫描版,凑合看 .
2014-02-24
其他资源
敢死队问题(纯C语言编写)
Saber仿真模型共享---uc3844仿真模型
IEEE论文格式
中国详细shapefile文件
美化后的Easyui皮肤,适用于后台管理系统(非管方的主题)
惯性导航卡尔曼滤波仿真
C#本质论(第4版,C# 5.0).pdf (高清完整版)
fanuc机器人仿真软件RobotGuide9.3.txt
3.3: DNS服务基础 、 特殊解析 、 DNS子域授权 、 DNS主从架构(1).docx
30.深度解密三十:搜索引擎百度霸屏营销推广全方位解密.pdf
MusicPlayer.rar
论文研究-基于多策略排序变异的多目标差分进化算法.pdf
RFC4861(中文) IPv6邻居发现
QT的使用手册
Sun 认证企业架构师认证 题库
TortoiseGit2.8 安装包和中文包
前台加密后台解密-非对称RSA加密方式-(支持中文)
用多线程同步方法解决哲学家就餐问题
jfinal+echarts实现饼图(数据库中读取数据)
QJ71MB91自动通信
人力资源管理asp.net
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
DS证据理论的MATLAB案例程序源代码
人体姿态检测
智能微电网中利用粒子群算法实现多目标优化(有完整数据可运行).zip
大唐杯资料+题库(移动通信)
2019西门子杯六部十层电梯群控参考程序.zip
华为结构与材料工程师-知识点总结【by詹姆斯申易登】.pdf
YOLOv5 人脸口罩图片数据集
Autojs 例子 源码 1600多个教程源码
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
夏天IC助手1.8你们懂的
航迹融合算法MATLAB仿真程序
BP神经网络+PID控制simulink仿真
数据结构课后习题答案
RX560 bios合集(请务必注意显存品牌和大小以及是否需要6pin!)含刷新工具.zip
校园网规划与设计(报告和pkt文件)
最新下载
应用多元统计分析答案详解汇总高惠璇.pdf
SecureCRT(绿色版)免安装
VMware Workstation 8.0.2.591240 正式版+汉化+注册码
微信6.2.6 ipa版本下载
青霉素发酵过程仿真软件Pensim2.0
UnityGameFramework案例源码.zip
BioEdit v7.0(带汉化补丁)
EFDC_Explorer7.1 Full Setup(Ver130823)
基于Matlab的青霉素仿真平台PenSim
R语言数据挖掘方法及应用(薛薇2016) - 中文完整版