期刊名：<b>Journal of Automated Reasoning</b>/issn:0168-7433 <button onclick='javascrip:history. back()'>返回列表</button><br><table><tr bgcolor=#009a31><td>收入的数据库</td><td>查看文献题录（留空直达期刊首页）</td><td>收入起止年份</td></tr><tr><td>ProQuest Central</a></td><td><form method=post action=jlist.php target=_blank><input type=hidden name=action value=articlelink><input type=hidden name=avid value=96516><input type=hidden name=jid value=72114>卷号:<INPUT name=jvolume  size=4>,首页页码:<INPUT name=spage size=4><input type=submit value='查看期刊原文'></form></td><td> Available from 1997/02/01 until (and including) 2015/12/31 </td></tr><tr><td colspan=3 bgcolor=#009a31 height=2></td></tr><tr><td>SpringerNature Complete Journals</a></td><td><form method=post action=jlist.php target=_blank><input type=hidden name=action value=articlelink><input type=hidden name=avid value=96517><input type=hidden name=jid value=72114>卷号:<INPUT name=jvolume  size=4>,首页页码:<INPUT name=spage size=4><input type=submit value='查看期刊原文'></form></td><td> Available from 1985 volume: 1 issue: 1 </td></tr><tr><td colspan=3 bgcolor=#009a31 height=2></td></tr></table>