第一图书网

全部分类

自动推理Automated reasoning

Furbach, Ulrich (EDT)/ Shankar, Natarajan (EDT) Springer
出版时间：2007-06-04
出版社：Springer
作者：Furbach, Ulrich (EDT)/ Shankar, Natarajan (EDT)
页数：680
图书封面

下载链接
    自动推理Automated reasoningPDF格式下载

相关图书

人工智能新前沿
机器学习
人工智能
概念结构
人工智能与认知科学／会议录Artificial intelligence and cognitive science
模拟演化和学习LNCS-4247
自动机、语言及编程LNCS-4052
柔性查询回答系统
人工智能与神经网络
模式识别中的人工神经网络
智能数据工程与自动化学习/Intelligent data engineering and automated learning
人工神经网络-ICANN2002/会议录 Artificial neural networks
人工智能中的逻辑
智能代理与多代理系统 Intelligent agents and multi-agent systems
神经信息处理LNCS-4232
模糊逻辑和知识发现/Fuzzy systems and knowledge discovery
人工智能
人工智能与软计算-ICAISC 2006 Artificial intelligence and soft computing - ICAISC 2006
PRICAL 2002人工智能趋势 PRICAI 2002
概念建模进展
感知与交互作用技术
人机交互中的形体与手势语言/会议录nd sign language in human-computer interaction
智能教学系统/会议录 Intelligent tutoring systems
人工智能进展/会议录Andvaces in artificial intelligence
模块化程序设计语言
自适应超媒体与自适应网基系统/会议录 Adaptive hypermedia and adaptive Web-based systems
自动控制的实施与应用会议会议录 Implementation and application of automata
人工智能进展 - IBERAMIA-SBIA 2006/会议录Advances in artificial intelligence - Iberamia-SBIA 2006
语义学,Web与数据挖掘
语义网－ISWC2002/会议录 The semantic Web
语义网推理的原理与实践
语义网
机器学习
神经信息处理/ Neural information processing
机械技术基础
金属工艺
饭店工程技术与管理实务
信息检索讲义 Lectures on information retrieval
信息检索技术
数字图书馆用研究与先进技术
数字图书馆
澳门大学图书馆古籍特藏图录
上海格致书院志略
缅甸
菲律賓奇麗的島國
古典音乐大师VCD
安徽大学年鉴2004
高速网协议／会议录Protocols for high speed networks
高性能计算与通信
最佳数字摄影指南