RALES 发表于 2025-3-23 10:52:35

http://reply.papertrans.cn/2/155/15478/15478-11.png

Perineum 发表于 2025-3-23 16:44:00

Submitted on: 07 November 2002.
Revised on: 18 February 2003.
Accepted on: 10 April 2003.

___________________JOURNAL OF AUTOMATED REASONING

evaculate 发表于 2025-3-23 21:42:25

http://reply.papertrans.cn/2/155/15478/15478-13.png

冥界三河 发表于 2025-3-24 00:23:47

Submitted on: 04 February 2001.
Revised on: 28 April 2001.
Accepted on: 05 June 2001.

___________________JOURNAL OF AUTOMATED REASONING

舰旗 发表于 2025-3-24 04:27:05

http://reply.papertrans.cn/2/155/15478/15478-15.png

出汗 发表于 2025-3-24 06:33:30

http://reply.papertrans.cn/2/155/15478/15478-16.png

CORD 发表于 2025-3-24 14:35:10

http://reply.papertrans.cn/2/155/15478/15478-17.png

老人病学 发表于 2025-3-24 16:10:16

http://reply.papertrans.cn/2/155/15478/15478-18.png

无关紧要 发表于 2025-3-24 20:44:19

Submitted on: 18 July 2011.
Revised on: 28 October 2011.
Accepted on: 17 December 2011.

___________________JOURNAL OF AUTOMATED REASONING

种子 发表于 2025-3-24 23:44:47

Submitted on: 17 May 2013.
Revised on: 07 July 2013.
Accepted on: 24 July 2013.

___________________JOURNAL OF AUTOMATED REASONING
页: 1 [2] 3 4
查看完整版本: SCIE期刊JOURNAL OF AUTOMATED REASONING 2024/2025影响因子:0.939 (J AUTOM REASONING) (0168-7433). (COMPUTER SCIENCE, ARTIFICIAL