领域

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

馆藏高校

斯坦福大学

哥伦比亚大学

芝加哥大学

加州大学伯克利分校

Handbook of Automated Reasoning

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

知识网络

内容简介

Handbook of Automated Reasoning

作品图片

推荐图书