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

59篇 您的检索式：作者名="BAADER F"

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

	题名	作者	年代	出处	被引量
1	Description logics with aggregates and concrete domains显示文摘	Baader F U Sattler	2003	Information Systems2003，28，8：	1
2	An overview of tableau algorithms for description logies显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
3	Expression patterns anddifferent subcellular localization of the growth factors HDGF (hep-atoma-derived growth factor) and HKP-3 (HDGF-related protein-3) suggest functions in addition to their mitogenic activity 显示文摘	Abouzied MM Baader SL Dietz F	2004	Biochem J2004，378，1：	1
4	Shaping of ceramic green body compacts direct from suspensions by enzyme catalyzed reactions显示文摘	GRAULE T J BAADER F H GAUCKLER L J	1994	Cfl/Ber DKG1994，31，71：	1
5	An overview of tableau algorithms for description logics 显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
6	Shaping of ceramic green compacts direct from suspensions by enzyme catalyzed reactions 显示文摘	GRAULE L J BAADER F H GAUCKLER L J	1994	Scientific Forum DKG1994，71，6：	1
7	Fusions of Description Logics and Abstract Description Systems显示文摘	Baader F Lutz C Sturm H	2003	Journal of Artificial Intelligence Research2003，16，2：	1
8	Ceramic forming using enzyme catalyzed reactions 显示文摘	GAUCKLER L J GRAULE Th BAADER F	1999	Materials Chemistry and Physics1999，61，：	1
9	Expressive number restrictions in description logics显示文摘	BAADER F SATTLER U	1999	Journal of Logic and Computation1999，9，3：	1
10	Shaping of ceramic green compacts direct from suspensions by enzyme catalyzed reaction显示文摘	GRAULE T J BAADER F H GAUCKLER L J	1994	Cfi/Ber DKG1994，71，：	1
11	An overview of tableau algorithms for de- scription logics显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
12	Shaping of ceramic green compacts direct from suspensions by enzyme catalyzed reactions显示文摘	GRAULE T J BAADER F H GAUCKLER L J	1994	Cfi/Ger DGK1994，71，6：	1
13	Description logics with aggregates and concrete domains显示文摘	Baader F and Sattler U	2003	Information Systems2003，，：	1
14	Expressive number restrictions in description logics显示文摘	U Sattler	1999	Logic and Computation1999，9，3：	1
15	Using automata theory for characterizing the semantics of temunological cycles显示文摘	Baader F	1996	Annals of Mathematics and Artificial Intel-ligence1996，18，24：	1
16	Automata-based axiom pinpoint-ing显示文摘	Baader F Pealoza R		0，，02：	1
17	Direct coagulation casting of SiC:the solidification process显示文摘	Si W J Graule T J Baader F H	1994	J Inorg Mater1994，11，1：	1
18	Direct coagulation casting of silicon carbide components显示文摘	Si W J Graule T J Baader F H	1999	J Am Ceram Soc1999，82，5：	1
19	An overview of tableau algorithms for de- scription logics显示文摘	Baader F Sattler U	2001	Studia Logiea2001，69，1：	1
20	Using automata theory for characterizing the semantics of terminological cycles 显示文摘	Baader F	1996	Annals of Mathematics and Artificial Intelligence1996，18，24：	1

返回顶部每页显示：

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

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

用户提示