วารสารการให้เหตุผลอัตโนมัติ

เว็บไซต์อย่างเป็นทางการ ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Journal_of_Automated_Reasoning&oldid=1328788068 "

*วารสารการให้เหตุผลอัตโนมัติ*
การลงโทษ	วิทยาการคอมพิวเตอร์
ภาษา	ภาษาอังกฤษ
เรียบเรียงโดย	จัสมิน บลานเชตต์
รายละเอียดการตีพิมพ์
ประวัติศาสตร์	ปี 1983–ปัจจุบัน
สำนักพิมพ์	สปริงเกอร์ ไซเอนซ์+บิสซิเนส มีเดีย
ความถี่	8 ดอลลาร์ต่อปี
ปัจจัยผลกระทบ	1.431 (2019)
คำย่อมาตรฐาน
ISO 4	วารสารเหตุผลอัตโนมัติ
แมธไซเน็ต	เจ. ออโต้. รีซัน.
การจัดทำดัชนี
โคเดน	จารีว
ISSN	0168-7433 (ฉบับพิมพ์) 1573-0670 (ฉบับออนไลน์)
ลคซีเอ็น	sf93093541
หมายเลขOCLC	263592661
ลิงก์
	หน้าหลักวารสาร; การเข้าถึงทางออนไลน์;

วารสารการให้เหตุผลอัตโนมัติก่อตั้งขึ้นในปี 1983 โดยLarry Wosซึ่งดำรงตำแหน่งบรรณาธิการบริหารจนถึงปี 1992 ^{[ 1 ]}วารสารนี้ครอบคลุมงานวิจัยและความก้าวหน้าในการให้เหตุผลอัตโนมัติการตรวจสอบทฤษฎีบท เชิงกล และการอนุมานอื่นๆ ใน ตรรกศาสตร์แบบคลาสสิกและแบบไม่คลาสสิก^{[ 2 ]}

วารสารนี้จัดพิมพ์โดยSpringer Science+Business Mediaณ ปี 2021 บรรณาธิการบริหารคือJasmin Blanchetteศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่Ludwig-Maximilians-Universität München ปัจจัยผลกระทบ (impact factor)ของวารสารในปี 2019 คือ 1.431 และได้รับการจัดทำดัชนีโดยบริการจัดทำดัชนีวิทยาศาสตร์หลายแห่ง รวมถึงScience Citation Index ExpandedและScopus ^{[ 3 ]}

ลิงก์ภายนอก