來源：學術之家整理 2025-03-18 15:38:38
《Journal Of Automated Reasoning》中文名稱：《自動推理雜志》，創刊于1985年，由Springer Netherlands出版商出版，出版周期Bimonthly。
《自動推理雜志》是一本跨學科雜志，在理論、實施和應用之間保持平衡。出版的材料范圍從介紹新的推理規則及其邏輯屬性的證明到詳細說明用于解決工業中各種問題的計算機程序。主要涵蓋的領域包括自動定理證明、邏輯編程、專家系統、程序合成和驗證、人工智能、計算邏輯、機器人技術和各種工業應用。這些論文的共同特點是重點關注自動推理的幾個方面，該領域的目標是設計和實施一種計算機程序，作為解決問題和回答需要推理的問題的助手。
《自動推理雜志》為那些純粹對理論感興趣的人、主要對實施感興趣的人以及對特定研究和工業應用感興趣的人提供了一個論壇和信息交流方式。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 25 |
| INRIA | 18 |
| TECHNICAL UNIVERSITY OF... | 14 |
| COMMONWEALTH SCIENTIFIC... | 10 |
| AUSTRALIAN NATIONAL UNI... | 9 |
| CARNEGIE MELLON UNIVERS... | 9 |
| UNIVERSITY OF INNSBRUCK | 9 |
| MAX PLANCK SOCIETY | 8 |
| TECHNISCHE UNIVERSITAT ... | 7 |
| UNIVERSITE DE LORRAINE | 7 |
| 國家/地區 | 發文量 |
| GERMANY (FED REP GER) | 40 |
| USA | 39 |
| France | 38 |
| England | 29 |
| Austria | 18 |
| Australia | 14 |
| Italy | 13 |
| Spain | 12 |
| Netherlands | 10 |
| Sweden | 7 |
| 文章引用名稱 | 引用次數 |
| The Role of the Mizar Mathem... | 13 |
| Compositional Falsification ... | 6 |
| Synthesis of Obfuscation Pol... | 5 |
| Hammer for Coq: Automation f... | 4 |
| Automatic Synthesis of Logic... | 3 |
| VST-Floyd: A Separation Logi... | 3 |
| System-Level Non-interferenc... | 3 |
| Verified iptables Firewall A... | 2 |
| Formalization of the Resolut... | 2 |
| Verifying the Correctness an... | 2 |
| 被引用期刊名稱 | 數量 |
| J AUTOM REASONING | 79 |
| ANN MATH ARTIF INTEL | 29 |
| J SYMB COMPUT | 14 |
| ARTIF INTELL | 13 |
| IEEE ACCESS | 12 |
| J FUNCT PROGRAM | 11 |
| ACM T COMPUT LOG | 10 |
| MATH STRUCT COMP SCI | 10 |
| LOG METH COMPUT SCI | 9 |
| PHILOS T R SOC A | 9 |
| 引用期刊名稱 | 數量 |
| J AUTOM REASONING | 79 |
| THEOR COMPUT SCI | 46 |
| COMMUN ACM | 26 |
| J ACM | 22 |
| INFORM COMPUT | 21 |
| MATH STRUCT COMP SCI | 21 |
| ACM T COMPUT LOG | 15 |
| LOG METH COMPUT SCI | 15 |
| J FUNCT PROGRAM | 14 |
| ACM T PROGR LANG SYS | 12 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
