第一图书网

全部分类

计算逻辑约束

Hubert Comon 1 edition (2001年5月1日)
出版时间：2001-12
出版社：1 edition (2001年5月1日)
作者：Hubert Comon
图书封面

下载链接
    计算逻辑约束PDF格式下载

相关图书

群件
计算机视觉系统/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人类的踪迹
茶
花漾人生1
应用统计学学习指导
窮小子開民宿：創意民宿的輕生活
Magic Books: Animal Antics (木板书)
The Ultimate Visual Guide to Star Wars (精装)
Rabbit (精装)
"SpongeBob SquarePants" the Essential Guide (精装)
Kitten Care (精装)
Bear (精装)
Puppy Care (精装)
Madrid (精装)
Japan (精装)
Provence and the Cote d'Azur (精装)