第一图书网

全部分类

Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理/会议录

Baral, C.; Baral, Chitta; Greco, Gianluigi 北京燕山出版社
出版时间：2005-9
出版社：北京燕山出版社
作者：Baral, C.; Baral, Chitta; Greco, Gianluigi
页数：454
图书封面

下载链接
    Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理/会议录PDF格式下载

相关图书

Computer Network Security计算机网络安全/会议录
Tools and Algorithms for the Construction and系统构建与分析工具与算法/会议录
Formal Concept Analysis 形式概念分析/会议录
Conceptual Modeling - ER 2004概念模式-ER2004
Advances in Computer Systems Architecture计算机体系结构进展
Advances in Visual Computing可视计算进展/会议录
Advanced Parallel Processing Technologies高级并行处理技术
Advances in Informatics信息学进展
Management of Multimedia Networks and Services多媒体网络与服务的管理
Software Product Lines软件生产线/会议录
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops并行与分布式处理及应用
Software Process Improvement软件过程改进
农村基层党风廉政建设研究与实践
Algorithmic Learning Theory算法学习理论/会议录
Discovery Science 发现科学/会议录
Transactions on Computational Systems Biology III计算系统生物学汇刊 III
Technologies for Advanced Heterogeneous Networks高级异构网络技术/会议录
Distributed Computing and Internet Technology分布计算与因特网技术/会议录
Component Deployment组件开发/会议录
Network and Parallel Computing网络和并行计算
rid and Cooperative Computing - GCC 20052005网格与协同计算
Ambient Networks环境网络/会议录
Computational Intelligence and Security 计算智能与安全国际会议第一卷
彝族宗教与信仰
千家诗
书品
浮生六记
Progress in Pattern Recognition, Image Analysis and Applications模式识别、图像分析与应用进展
Key Technologies for Data Management 数据管理关键技术/会议录
Advances in Learning Software Organizations 学习软件组织进展/会议录
电源敏感的计算机系统
Component-Based Software Development for Embedded Systems嵌入系统用的基于组件的软件开发
Advances in Biometric Person Authentication生物测量个人身份验证进展
Formal Methods and Software Engineering形式方法与软件工程
Information and Communications Security信息及通信安全
Business Process Management 业务流程管理/会议录
Conceptual Modeling for Advanced Application Domains高级应用域的概念模型
Correct Hardware Design and Verification Methods 正确的硬件设计与验证法
Embedded Software and Systems嵌入式软件与系统
Computer Algebra and Geometric Algebra with Applications 计算机代数和几何代数 及应用
2005年/会议录 STACS 2005
Generative Programming and Component Engineering 生成程序设计与组件工程/会议录
Principles and Practice of Semantic Web Reasoning语义网推理的原理与实践/会议录
Advances in Multimedia Information Processing - PCM 2005多媒体信息处理进展-PCM 2005
Information Hiding信息隐藏/2005第7届国际研讨会文集
Distributed Computing分布式计算/会议录
Model Driven Architecture - Foundations and Applications模型驱动的体系结构
Correct Hardware Design and Verification Methods正确的硬件设计与验证法/会议录
约束编程的原理与实践 - CP 2005/Principles and Practice of Constraint Programming - CP 2005
2005嵌入与普适计算 EUC 2005/会议录Embedded and Ubiquitous Computing - EUC