第一图书网

全部分类

自动演绎－CADE-18/会议录 Automated deduction-CADE-18

Andrei Voronkov 1 edition (2002年9月1日)
出版时间：2002-12
出版社：1 edition (2002年9月1日)
作者：Andrei Voronkov
页数：534
图书封面

下载链接
    自动演绎－CADE-18/会议录 Automated deduction-CADE-18PDF格式下载

相关图书

绘图
下一代信息技术与系统/会议录 Next generation information technologies and systems
基于Web的学习进展Advances in web-based learning
对象模型化与OCL
整数编程与组合优化/Integer programming and combinatorial optimization
人工进化/Artificial evolution
World War II: Day by Day (精装)
计算科学
计算科学
极限编程与灵巧方法
实例推理进展／会议录 Advances in case-based reasoning
随机化与近似技术／会议录 Randomization and approximation
计算逻辑约束
群件
计算机视觉系统/Computer vision systems
过程代数与概率方法、性能建模与验证Process algebra and probabilistic methods
交叉语言信息检索系统评价 Evaluation of cross-language information retrieval systems
用分析表格与有关方法自动推理/会议录 Automated reasoning with analytic tableaux and related methods
形式方法－获得完美信息技术 /Formal Methods
(综合形式方法/会议录)Integrated formal methods
现场可编程逻辑与应用Field-programmable logic and applications
CONCUR 2002－并行理论/CONCUR 2002-concurrency theory
计算机科学的数学基础2002 Mathematical foundations of computer science 2002
多代理系统基础与应用/会议录
(工程分布式对象)Engineering distributed objects
电子和Web技术 E-commerce and web technologies
图形识别 Graphics recognition
可靠软件技术 Reliable software technologies
组合模式匹配/会议录 Combinatorial pattern matching
计算机性能评价 Computational logic
Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers (平装)
Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers (平装)
高次逻辑中的定理证明 Theorem proving in higher order logics
Euro-Par 2002. - 并行处理/会议录Euro-Par 2002, parallel processing
高性能计算/会议录 High performance computing
泛计算 Pervasive computing
流沙
软件生产线/会议录Software product lines
DNA计算/会议录/DNA computing
文献分析系统V／会议录Document analysis systems V
智能数据工程与自动化学习2002年国际会议录Intelligent data engineering and automated learning
计算机辅助验证 Computer aided verification
约束程序设计原理与实践 CP2002Principles and practice of constraint programming-CP2002
学习分类器系统进展/会议录 Advances in learning classifier systems
Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings (平装)
计算逻辑.逻辑程序设计及其它 第2卷Computational logic
应用语义学 Applied semantics
Cars: The Essential Guide (精装)
Human Traces人类的踪迹
茶