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

189篇 您的检索式：期刊名="Logic Programming"

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

	题名	作者	年代	出处	被引量
1	A petri net approach for the design and analysis of Web Services Choreographies 显示文摘	Valero V	2009	The Journal of Logic and Algebric Programming2009，78，：	1
2	Inverse entailment and progol显示文摘	S H Muggleton	1995	New Generation Computing special: issue on inductive logic programming1995，13，3：	1
3	Linear-time algorithms for testing the satisfiability of propositional Horn formulae 显示文摘	Dowling W Gallier J	1984	Journal of Logic Programming1984，1，3：	1
4	A logic-based approach to data integration显示文摘	GRANT J MINKER J	2002	Theory and Practice of Logic Programming2002，2，3：	1
5	A pi-calculus based semantics for WSBPEL显示文摘	Lucchi R Mazzara M	2007	Journal of Logic and Algebraic Programming2007，70，：	1
6	MeETRIC methods,three examples and a theorem显示文摘		1994	J of Logic Programming1994，21，：	1
7	A survey of research on deductive database systems 显示文摘	Ramakrishnan R Ullman J D	1993	Journal of Logic Programming1993，23，12：	1
8	Introduction to the constraint language NCL显示文摘	ZHOU J Y	2000	The Journalof Logic Programming2000，45，123：	1
9	Efficient run-time type checking of typed logic programs显示文摘	Dart P W Zobel J	1992	Journal of Logic Programming1992，14，12：	1
10	Distributed semantics for the calculus based on Petri nets with inhibitor arcs 显示文摘	Busi N Gorrieri R	2009	Journal of Logic and Algebraic Programming2009，78，13：	1
11	Validation and veri- fication of web services choreographies by using limed automa- ta显示文摘	Cambronero M E Diaz G Valero V	2011	The Journal of Logic and Algebraic Programming2011，80，1：	1
12	GOLOG:a logic programming language for dynamic domains显示文摘	LEVESQUE H J REITER R LESPERANCE Y	1997	Journal of Logic Programming1997，31，13：	1
13	Design and synthesis of synchronization skeletons using branching time temporal logic显示文摘	Clarke E M Emerson E A	1981	In Logic of Programs1981，131，：	1
14	The NRL Protocol Analyzer: an overview 显示文摘	Meadows C	1996	Journal of Logic Programming1996，26，2：	1
15	The IFF Proof Procedure for Abductive Logic Programming显示文摘	Fung T H Kowalski R A	1997	Journal of Logic Programming1997，，12：	1
16	Automatic verification of selected equivalences for security protocols 显示文摘	BLANCHET B ABADI M FOURNET C	2008	Journal of Logic and AIgebraio Programming2008，75，1：	1
17	GOLOG: a logic programming language for dynamic domains 显示文摘	Levesque H Reiter R Lesperance Y	1997	Journal of Logic Programming1997，31，13：	1
18	Logic programming and negation: A survey显示文摘	Apt K Bol R	1994	The Journal of Logic Programming1994，1920，：	1
19	Introduction to the constraint language NCL显示文摘	Zhou J	2000	Journal of Logic Programming2000，45，13：	1
20	Logic Programming and Negation: A Survey 显示文摘	Apt K Bol B	1994	Journal of Logic Programming1994，1920，：	1

返回顶部每页显示：

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

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

用户提示