更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Automated reasoning Automatic summarization Automated theorem proving Automated essay scoring Self-documenting Automatic speech Effluent guidelines Automatic question generation Autonomic computing Computer-Assisted Instruction

馆藏高校

{{holding.name}}

Handbook of Automated Reasoning

ISBN: 9780444508133 出版年：2001 页码：1,187 North Holland_RM

知识网络

知识图谱网络

内容简介

Handbook of Automated Reasoning

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书