维普期刊资源整合服务平台（V6.5）

158篇 您的检索式：期刊名="Automated Reasoning"

选中清除导出查看参考文献查看引证文献引用追踪共8页首页上一页第1页下一页末页 /8 跳转

	题名	作者	年代	出处	被引量
1	A tableau decision procedure for SHOIQ显示文摘	Horrocks I Sattler U	2007	Automated Reasoning2007，39，3：	1
2	A tableau decision procedure for SHOIQ显示文摘	Horrocks I Sattler U	2007	Journal of Automated Reasoning2007，39，3：	1
3	A tableau decision procedure for SHOIQ 显示文摘	HORROCKS I SATTLER U	2007	Automated Reasoning2007，39，3：	1
4	Boolean functions as models for quantified boolean formulas 显示文摘	Buning H K Subramani K Zhao Xishun	2007	Journal of Autom Reasoning2007，39，1：	1
5	Differential dynamic logic for hybrid systems 显示文摘	Platzer A	2008	Journal of Automated Reasoning2008，41，：	1
6	New worst case upper bounds for SAT 显示文摘	Hirsch E A	2000	Journal of Automated Reasoning2000，24，4：	1
7	Informational logic as a tool for automated reasoning显示文摘	PAOLA FORCHERI PAOPO GENTILINI MARIA TERESA MOLFINO	1998	Journal of Automated Reasoning1998，20，：	1
8	SETHEO and ESETHEO-the CADE-13 systems 显示文摘	Moser M Ibens O Ietz R	1997	Journal of Automated Reasoning1997，18，2：	1
9	A deductive database approach to automated geometry theorem proving and discovering显示文摘	ZHOU Xian-qing Gao Xiao-shan Zhang Jin-zhong	2000	Journal of Automated Reasoning2000，25，3：	1
10	Inferring from Inconsistency in preference-based argumentation frameworks 显示文摘	Amgoud L Cayrol C	2002	J Autom Reasoning2002，29，2：	1
11	Resolution theorem proving in reified modal logics 显示文摘	Aitken J S Reichgelt H Shadbolt N	1994	Journal of Automated Reasoning1994，12，1：	1
12	Resolution versus search: Two strategies for SAT显示文摘	Rish I Dechter R	2000	Journal of Automated Reasoning2000，24，1：	1
13	Verifying the SET Purchase Protocols显示文摘	Giampaolo Bella Fabio Massacci Lawrence C Paulson	2006	Journal of Automated Reasoning2006，36，：	1
14	Debugging incoherent terminologies 显示文摘	Schlobach S Huang Zhisheng Cornet R	2007	Journal of Automated Reasoning2007，39，3：	1
15	SAT modulo linear arith- metic for solving polynomial constraints 显示文摘	Borralleras C Lucas S Oliveras A	2012	Journal of Automated Reasoning2012，48，1：	1
16	New worst case upper bounds for SAT 显示文摘	Hirsch E A	2000	Journal of Automated Reasoning2000，24，4：	1
17	Theorem proving based on extension rule 显示文摘	Lin H Sun J G Zhang Y M	2003	Journal of Automated Reasoning2003，31，1：	1
18	A tableau decision procedure for SHOIQ显示文摘	HORROCKS I SATTLER U	2007	Journal of Automated Reasoning2007，39，3：	1
19	Debugging incoherent terminologies显示文摘	Schlobach S Huang Zhisheng Cornet R	2007	Journal of Automated Reasoning2007，39，3：	1
20	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings显示文摘	Alan M. Frisch Timothy J. Peugniez Anthony J. Doggett Peter W. Nightingale	2005	Journal of Automated Reasoning (-)2005，，1：	1

返回顶部每页显示：

共8页首页上一页第1页下一页末页 /8 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示