ジャーナル情報
Journal of Automated Reasoning
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
Journal of Automated Reasoning の論文募集を見逃さない
無料アカウントを作成すると、この学術誌が新しい論文募集や特集号を公開するたびにメールでお知らせします。
新しい論文募集を知らせる すでにアカウントをお持ちですか？ログイン
アカウントは無料です。メールは1日最大1通、すべてのメールにワンクリックの配信停止リンクが付いています。
論文募集
Journal of Automated Reasoning is an academic journal published by Springer. (ISSN 0168-7433, impact factor 0.8, CCF B).
最終更新：Dou Sun（）
関連ジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
| International Journal of Information Security | 3.2 | Springer | 1615-5262 | |
| International Journal of Automation and Computing | Springer | 1476-8186 | ||
| Journal of Cloud Computing | Springer | 2192-113X | ||
| Journal of Big Data | 6.4 | Springer | 2196-1115 | |
| Journal of Computational Electronics | 2.5 | Springer | 1569-8025 | |
| Journal of Interaction Science | Springer | 2194-0827 | ||
| Journal of Signal Processing Systems | 1.8 | Springer | 1939-8018 | |
| Journal of Medical Systems | 5.7 | Springer | 0148-5598 | |
| Journal of Computer and Systems Sciences International | 0.6 | Springer | 1064-2307 | |
| Journal of Intelligent Manufacturing | 7.4 | Springer | 0956-5515 |
関連会議
| CCF | ICORE | CP-I | 略称 | 正式名称 | 投稿締切 | 開催日 |
|---|---|---|---|---|---|---|
| A | 74.5 | IJCAR | International Joint Conference on Automated Reasoning | 2026-02-06 | 2026-07-26 | |
| B | 57.5 | TABLEAUX | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | 2017-04-28 | 2017-09-25 | |
| A | A* | 92.4 | ASE | International Conference on Automated Software Engineering | 2026-03-26 | 2026-10-12 |
| C | 55.2 | TIME | International Symposium on Temporal Representation and Reasoning | 2016-06-20 | 2016-10-17 | |
| C | 61.2 | IDEAL | International Conference on Intelligent Data Engineering and Automated Learning | 2026-07-24 | 2026-11-19 | |
| C | 51.0 | PATAT | Conference on the Practice and Theory of Automated Timetabling | 2026-04-01 | 2026-08-25 | |
| B | A | 72.5 | CADE | International Conference on Automated Deduction | 2027-08-22 | |
| B | A* | 87.7 | KR | International Conference on the Principles of Knowledge Representation and Reasoning | 2027-04-23 | 2027-09-21 |
| C | B | 77.1 | ATVA | International Symposium on Automated Technology for Verification and Analysis | 2026-05-19 | 2026-12-01 |
| 44.6 | IJCLR | International Joint Conference on Learning & Reasoning | 2026-05-31 | 2026-09-16 |
コメント 0
コメントするにはログインしてください
まだコメントはありません。