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

35篇 您的检索式：作者名="GIUNCHIGLIA F"

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

	题名	作者	年代	出处	被引量
1	Formal verification of a railway interlocking system using model checking显示文摘	Cimatti A Giunchiglia F Mongardi G	1998	Formal Aspects Comput1998，，10：	2
2	Theo-ries and uses of context in knowledge representation and reason-ing 显示文摘	BOUQUET P GHIDINI C GIUNCHIGLIA F	2003	Journal of Ragmatics2003，35，3：	1
3	Semantic Matching: Algorithms and Implementation 显示文摘	GIUNCHIGLIA F YATSKEVICH M SHVAIKO P	2007	Journal on Data Semantics IX2007，4601，：	1
4	TROPOS:An agent-oriented software development methodology显示文摘	P Giorgini F Giunchiglia	2004	Autonomous Agents and Multi-Agent Systems2004，8，3：	1
5	Semantic matching:Algorithms and implementation显示文摘	Giunchiglia F Yatskevich M Shvaiko P	2007	Journal on Data Semantics2007，，：	1
6	NUSMV: a new symbolic model checker显示文摘	CIMATH A CLARKE E GIUNCHIGLIA F	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
7	Contextualizing Ontologies 显示文摘	Bouquet P Giunchiglia F van Harmelen A	2004	Journal of Web Semantics2004，，：	1
8	Semantic matching 显示文摘	Giunchiglia F Shvaiko P	2003	Know1 Eng Rev2003，18，：	1
9	Semantic matching: Algorithms and implementation显示文摘	Giunchiglia F Yatskevich M Shvaiko P	2007	Journal on Data Semantics IX2007，，4601：	1
10	NUSMV: a new symbolic model checker显示文摘	CIMATI'I A CLARKE E GIUNCHIGLIA F	2000	International Journal on Software 'Fools for Technology Transfer2000，2，4：	1
11	TROPOS:An Agent-Oriented Software Development Methodology显示文摘	Bresciani P Giorgini P Giunchiglia F	2004	Autonomous Agents and Multi-Agent System2004，8，3：	1
12	Semantic matching显示文摘	Giunchiglia F Shvaiko P	2004	the Knowledge Engineering Review Journal2004，18，3：	1
13	Semantic matching显示文摘	Giunchiglia F Shvaiko P	2004	Knowledge Engineering Review Journal2004，18，3：	1
14	NuSMV : a new symbolic model checker显示文摘	CIMATTI A CLARKE E GIUNCHIGLIA F	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
15	Tropos: An Agent-oriented Software Development Methodology显示文摘	Bresciani P Giorgini P Giunchiglia F	2004	Journal of Autonomous Agents and Multi-agent Systems2004，8，3：	1
16	NuSMV: a new symbolic model checker 显示文摘	CIMATI'I A CLARKE E GIUNCHIGLIA F	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
17	Semantic matching显示文摘	GIUNCHIGLIA F SHVAIKO P	2003	Knowl Eng Rev2003，18，：	1
18	Semantic matching显示文摘	Giunchiglia F Shvaiko P	2004	Knowledge Engineering Review Journal2004，18，3：	1
19	Semantic matching 显示文摘	GIUNCHIGLIA F SHVAIKO P	2003	KER Journal2003，18，3：	1
20	NuSMV: a new symbolic model checker显示文摘	Cimatti A Clarke E Giunchiglia F	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1

返回顶部每页显示：

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

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

用户提示