第一图书网

全部分类

高次逻辑中的定理证明 Theorem proving in higher order logics

Victor A. Carreno 1 (2002年9月1日)
出版时间：2002-12
出版社：1 (2002年9月1日)
作者：Victor A. Carreno
页数：346
图书封面

下载链接
    高次逻辑中的定理证明 Theorem proving in higher order logicsPDF格式下载

相关图书

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 (精装)
Egypt (平装)
Singapore (平装)
The Successful Marketing Plan: A Disciplined and Comprehensive Approach (平装)
Julie and Julia: My Year of Cooking Dangerously (平装)
Europe's Best Places to Stay (平装)
Great Britain (平装)
House of Lies: How Management Consultants Steal Your Watch Then Tell You the Time (平装)
The Christmas Kit (精装)
London (精装)
软件工程
超人特攻队卡通艺术 THE INCREDIBLES
(喂养动物剪纸书（适合4-8岁幼儿）)MORE PLEASE HUNGRY ANIMAL BK
Skateboarding (精装)
创造思维理论 德国古典哲学创造思维理论的精华
政治人
21世纪中国经济学本科创新人才培养体系探索
New Encyclopedia of the Dog (精装)
Small Pet Care (精装)
The New Encyclopedia of the Cat (精装)
雾越邸杀人事件