Automated Reasoning Series
| 基础信息 | |||
| ISSN: | 0927-1023 | 学科： | 人工智能理论 |
| EI收录： | 否 | Medline收录： | 否 |
| SCI收录： | 否 | JCR分区 | |
| 出版物类型： | 期刊 | 出版社： | Springer Netherlands |
| 国家： | 荷兰 | 网址： | http://www.springer.com/series/5648 |
| 语言： | 英语 | 内容类型： | 学术 |
| 刊期： | 不定期 | ||
| 基础信息 | |||
| ISSN: | 0927-1023 | 学科： | 人工智能理论 |
| EI收录： | 否 | Medline收录： | 否 |
| SCI收录： | 否 | JCR分区 | |
| 出版物类型： | 期刊 | 出版社： | Springer Netherlands |
| 国家： | 荷兰 | 网址： | http://www.springer.com/series/5648 |
| 语言： | 英语 | 内容类型： | 学术 |
| 刊期： | 不定期 | ||