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

300篇 您的检索式：期刊名="Computational Logic"

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

	题名	作者	年代	出处	被引量
1	Japaridze, Propositional computability logic II显示文摘	G	2006	ACM Transactions on Computational Logic2006，7，2：	1
2	Model-checking continuous-time Markov chains显示文摘	AZIZ A SANWAL K SINGHAL V	2000	ACM Transactions on Computational Logic2000，1，1：	1
3	Inverse entailment and progol显示文摘	S H Muggleton	1995	New Generation Computing special: issue on inductive logic programming1995，13，3：	1
4	Propositional information systems显示文摘	Kohlas J Haenni R	1999	Journal of Logic and Computation1999，9，5：	1
5	Pseudo-hoops 显示文摘	Georgescu G Leustean L Preoteasa V	2005	J of Multiple-Valued Logic and Soft Computing2005，11，：	1
6	Formali- zing Collaborative Decision-making and Practical Rea- soning in Multi-agent Systems显示文摘	Panzarasa P Jennings N R Norman T J	2002	Journal of Logic and Computation2002，12，1：	1
7	Veneration and recovery of compressed data and redundant data显示文摘	Li Yuying Zhang Li Shi Kaiquan	2010	Quantitative Logic and Soft Computing2010，1，2：	1
8	On BCK algebras part III: classes of examples of proper MV algebras, BL algebras and divisible bounded residuated lattices, with or without condition (WNM)显示文摘	IORGULESCU A	2010	Journal of Multiple-Valued Logic & Soft Computing2010，16，：	1
9	Ordinary interactive small-step algorithms,parts I,II,III显示文摘	Andreas Blass Yuri Gurevich	2006	ACM Trans Comput Logic2006，，：	1
10	A local search approach to modeling and solving interval algebra problems显示文摘	THORNTON J BEAUMONT M SATTAR A	2004	Journal of Logic and Computation2004，14，1：	1
11	Actions and events in interval temporal logic 显示文摘	Allen J F Ferguson G	1994	Journal of logic and computation1994，4，5：	1
12	Coherence and flexibility in dialogue games for argumentation显示文摘	Prakken H	2005	Journal of Logic and Computation2005，15，：	1
13	Rule systems for run time monitoring: from Eagle to RuleR显示文摘	Barringer H Rydeheard D Havelund K	2010	Journal of Logic and Computation2010，20，3：	1
14	Approximations in hyperrings显示文摘	Davvaz B	2009	Journal of Multiple-Valued Logic and Soft Computing2009，15，：	1
15	P-sets and (f, f) -heredity显示文摘	ZHANG Ling REN Xuefang	2010	Quantitative Logic and Soft Computing2010，2，1：	1
16	Actions and events in interval tem-oral logic显示文摘	Alien J F Ferguson G	1994	Journal Logic and Computation1994，4，5：	1
17	Generation and recovery of compressed data and redundant data显示文摘	Li Yuying Zhang Li Shi Kaiquan	2010	Quantitative Logic and Soft Computing2010，2，1：	1
18	A formal model for an expressive fragment of XSLT 显示文摘	Bex G J	2000	Computational Logic - CL2000，，11：	1
19	P-sets and its (f, f)-heredity显示文摘	Zhang Ling Ren Xuefang	2010	Quantitative Logic and Soft Computing2010，2，1：	1
20	Search and strategies in OPL 显示文摘	Hentenryck P V Perron L Puget J F	2000	ACM Transactions on Computational Logic2000，1，：	1

返回顶部每页显示：

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

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

用户提示