微信扫一扫联系客服
微信扫描二维码
进入报告厅H5
关注报告厅公众号
报告厅
有用的资料都在这
全部
报告
文库
会议资料
用户
价格
电子书-数理逻辑(英)
查看
更多
收藏
分享
电子书-时间和空间的量词:自然语言中广义量词的计算复杂性(英)
电子书-正交性与量子几何。迈向量子理论的关系性重构[博士论文](英)
电子书-计算机科学中的集合理论--数学建模的温和介绍I(英)
电子书-图灵度的层次结构:在可计算的可列举的度、统一类和自然可定义性中,有一个无限的低度概念层次。(英)
电子书-集合理论的基础(英)
电子书-数理逻辑的要素(英)
电子书-新型食品加工。对流变学和功能特性的影响(食品加工的电子技术系列)(英)
电子书-使用Isabelle、HOL的具体语义学(英)
电子书-公理集合理论(英)
电子书-数学错误喜剧(英)
电子书-分析基础与应用(英)
电子书-盲点(英)
如何讲好一个故事- Story Proof_ The Science Behind the Startling Power of Story (2007)(英)
电子书-Paraconsistent Logic的新方向,第五届世界大会,印度加尔各答,2014年2月(英)
电子书-亚里士多德的模态叙事法(英)
电子书-格哈德-根特森的论文集(英)
电子书-非局部游戏中的量子纠缠、图谱参数和零误差信息理论[博士论文] 。(英)
电子书-有序可计算性。无限机简介(英)
电子书-名义声明和可接受的操作(英)
电子书-林科斯。宇宙交际语言的设计(英)
电子书-集合理论的普遍性。形式本体论的研究(英)
电子书-如何证明它。结构化方法,第三版[第3版](教师解决方案手册,解决方案)(英)
电子书-形式法则(英)
电子书-数理逻辑的要素(模型理论)(英)