JOURNAL OF AUTOMATED REASONING
| 基础信息 | |||
| ISSN: | 0168-7433 | 学科： | 人工智能理论 |
| EI收录： | 是 | Medline收录： | 否 |
| SCI收录： | 是 | JCR分区 | |
| 出版物类型： | 期刊 | 出版社： | Springer Netherlands |
| 国家： | 荷兰 | 网址： | http://link.springer.com/journal/10817 |
| 语言： | 英语 | 内容类型： | 学术 |
| 刊期： | 每年 8 次 | ||
| 基础信息 | |||
| ISSN: | 0168-7433 | 学科： | 人工智能理论 |
| EI收录： | 是 | Medline收录： | 否 |
| SCI收录： | 是 | JCR分区 | |
| 出版物类型： | 期刊 | 出版社： | Springer Netherlands |
| 国家： | 荷兰 | 网址： | http://link.springer.com/journal/10817 |
| 语言： | 英语 | 内容类型： | 学术 |
| 刊期： | 每年 8 次 | ||