只为小站
首页
域名查询
文件下载
登录
首页
语言,证明和逻辑(Jon Barwise等)Language, Proof and Logic (Jon Barwise, et al)
语言,证明和逻辑(Jon Barwise等)Language, Proof and Logic (Jon Barwise, et al)
上传者:
38744153
|
上传时间: 2022-06-10 22:33:29
|
文件大小: 2.54MB
|
文件类型: PDF
数学
本书以适用于逻辑第一和第二课程的方法覆盖了一阶语言,对哲学,计算机科学,数学和语言学的本科生特别有用。
文件下载
立即下载
评论信息
其他资源
高速目标距离走动校正 keystone 插值算法
stm32语音传输
SImulink六自由度平台仿真simmechanics-work.rar
LTE教程(机制与流程+业务与信令)
行人再识别Deep-reID_郑哲东
小程序仿淘宝(循环列表,列表详情,导航)
Introduction To Automata Theory, Languages, And Computation 3rd
51单片机通过外部中断检测霍尔感应器程序
notflix:这是在ReactJS中创建的模板,该模板使用了受Netflix启发的打字稿,用于研究目的-源码
Foundry2d:基于Kha并内置编辑器的面向数据和数据驱动的2D游戏引擎-源码
图书管理系统(VB+SQL)
serv-u绿色破解版
Arduino串口转发源代码
云南大学软件学院数据库考试期末重点
toucher.js
基于正反切函数的无位置传感器控制.rar
ANSYS Fluent 15 Tutorial Guide
毕业设计完整套餐
Android 任意层级 树形控件(无jar版)
WebRobot使用教程
免责申明
【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
个人信息
点我去登录
购买积分
下载历史
恢复订单
相关资源标签
热门下载
基于yolov4-keras的抽烟检测(源码+数据集)
VideoDownloadHelper去除120分钟时间限制-高级版.zip
基于MQ2烟雾传感器的STM32F103程序
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
模型预测控制MPC(模型预测电流控制,MPCC)的simulink仿真,2016b版本
PowerBI视觉对象共计271组,更新日期2021.01.20日.zip
先进PID控制Matlab仿真第4版-PDF+代码.zip
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
离散时间信号处理第三版课后习题答案
voc车辆检测数据集(已处理好,可直接训练)
云视通扫描工具.zip
长江流域shp.zip
MPC 模型预测控制matlab仿真程序
最新下载
Thinsys-Basic.txt
联想LeTOS 1.3.0 瘦客户机操作系统.zip.002
Tinycore+View-Client把旧PC变瘦客户机
瑞恩瘦终端系统thinkos.txt
联想LeTOS 1.3.0 瘦客户机操作系统
瘦终端系统ThinsysOS-X86
Coredump简介及使用
基于ZEMAX的F-theta透镜设计与优化
Lib20200827151239-ZXA10 C680&C600&C650&C620(V1.2.1)用户手册文档包
SQLCipher是一个SQLite扩展,它提供数据库文件的256位AES加密。-C/C++开发