没有合适的资源?快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
模态逻辑手册(ed.by Blackburn et al)
模态逻辑手册(ed.by Blackburn et al)
模态逻辑
4星
· 超过85%的资源
21 下载量
119 浏览量
2009-03-14
12:27:53
上传
评论
1
收藏
9.96MB
PDF
举报
温馨提示
立即下载
模态逻辑手册(ed.by Blackburn et al)
资源推荐
资源评论
Modal Logic
浏览:182
3星 · 编辑精心推荐
Patrick Blackburn] Modal Logic是逻辑学中最好的著作 模态逻辑的完整PDF电子书 有助于学生,研究人员等各类相关人员学习使用。
P.Blackburn_Modal_Logic
浏览:187
Modal Logic Patrick Blackburn patrick@coli.uni-sb.de Maarten de Rijke mdr@wins.uva.nl Yde Venema yde@wins.uva.nl
Blackburn_Modal_Logic.pdf
浏览:127
模态逻辑Blackburn_Modal_Logic.pdf
模态逻辑讲义
浏览:48
模态逻辑讲义,有兴趣的可以看看,很不错,可能难度有点大,不过仔细研究还是可以的
模态逻辑讲义2006
浏览:46
模态逻辑讲义DOC 李小五 中山大学逻辑与认知研究所 2006
应用密码学手册(Alfred J. Menezes等)Handbook of Applied Cryptography (Alfred J. Menezes, et al)
浏览:71
这本书是令人难以置信的成就。 如果要检查提议的系统存在的问题,请确定如何开发特定算法的变体,查看在研究之前和之后的想法,请转到手册。
Applied Multivariate Statistical Analysis 3rd ed. - W. Hardle, et. al.,
浏览:157
Applied Multivariate Statistical Analysis 3rd ed. - W. Hardle, et. al., (Springer, 2012) WW
LDAP实施手册(Heinz Johner等)LDAP Implementation Cookbook (Heinz Johner, et al)
浏览:143
本书将帮助您了解,安装和配置IBM SecureWay Directory。 它针对需要了解成功LDAP实施的概念和详细说明的系统专家。
实现动画效果的js模态对话框插件rmodal.js.zip
浏览:36
实现动画效果的js模态对话框插件rmodal.js.zip 实现动画效果的js模态对话框插件rmodal.js.zip 实现动画效果的js模态对话框插件rmodal.js.zip
模态窗口传值www.bbssa.com
浏览:78
模态窗口传值www.bbssa.com 学习HTML对象必看
模态识别程序汇总.rar
浏览:98
模态识别程序汇总.rar
SJ模态窗体,WIndow.Open小实例
浏览:27
5星 · 资源好评率100%
JS弹出模态窗体,WIND.one p opne
多模态深度学习综述.pdf
浏览:167
5星 · 资源好评率100%
多模态深度学习综述.pdf
模态分析坎贝尔图.pptx
浏览:103
5星 · 资源好评率100%
模态分析坎贝尔图.pptx
实验模态分析基本理论.ppt
浏览:159
实验模态分析基本理论.ppt
走向模型论的模态逻辑汇编.pdf
浏览:151
走向模型论的模态逻辑汇编.pdf
JS模态窗口插件tingle.js.zip
浏览:192
JS模态窗口插件tingle.js.zip
语义增强的多模态虚假新闻检测.docx
浏览:92
语义增强的多模态虚假新闻检测.docx
轻量级Modal模态框插件cta.js.zip
浏览:182
轻量级Modal模态框插件cta.js.zip
多模态深度学习综述.docx
浏览:63
多模态深度学习综述.docx
Abaqus模态分析实验报告.pdf
浏览:176
Abaqus模态分析实验报告.pdf
基于深度学习的多模态时空动作识别.pdf
浏览:34
基于深度学习的多模态时空动作识别.pdf
电信设备-模态试验中扭转模态和弯曲模态的识别方法.zip
浏览:44
电信设备-模态试验中扭转模态和弯曲模态的识别方法.zip
基于深度学习的跨模态医学图像转换.pdf
浏览:189
基于深度学习的跨模态医学图像转换.pdf
python大作业 含爬虫、数据可视化、地图、报告、及源码(整和为一个文件)(2014-2020全国各地区原油加工量).rar
浏览:182
5星 · 资源好评率100%
(含源码及报告)本程序分析了自2014年到2020年每年我国原油加工的产量,并且分析了2019年全国各地区原油加工量,含饼状图,柱状图,折线图,数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持,如果缺少某库请自行安装后再运行。文件含2个excel表,4个csv文件以及一个名字为render的html文件(需要用浏览器打
仿真电路以及操作方法
浏览:31
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路,实现以下功能:用低频信号源产生ui1=0.1sin2πft(V),f=500Hz的正弦波信号,加至加法器的输入端,加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量,选出f信号为uo2,uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览:21
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细,很适合给新是的实习生做培训用!是我一直在用的流程管理,很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览:133
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
neilwnkn
2014-10-28
全集 参考手册用 不错
airobot008
粉丝: 8
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
c语言-c语言编程基础之leetcode题解第17题电话号码的字母组合.zip
c语言-c语言编程基础之leetcode题解第16题最接近的三数之和.zip
(三).c
希尔排序法python版源码.txt
状态图.uml
STM32F4的CAN通讯代码!实测可用,并且发送和接受的丢帧率在千分之五以下
选择排序法python版源码.txt
c语言-c语言编程基础之leetcode题解第14题最长公共前缀.zip
c语言-c语言编程基础之leetcode题解第13题罗马数字转整数.zip
Problem I.exe
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功