JOURNAL OF AUTOMATED REASONING

期刊简称：J AUTOM REASONING

期刊ISSN：0168-7433

是否开源：No

出版地：NETHERLANDS

审稿周期：Bimonthly

创刊年份：1985

研究方向：工程技术

所在分区：4区