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

110篇 您的检索式：作者名="Baader"

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

	题名	作者	年代	出处	被引量
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	Pharmacokinetics and metabolism of HOE 077显示文摘	Kellner H Volz M Baader E	1991	J Hepatol1991，13，3：	1
4	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
5	Description logics as ontology languages for the semantic web 显示文摘	Franz Baader Ian Horrocks Ulrike Sattler	2005	Mechanizing Mathematical Reasoning2005，，：	1
6	Topography of the pelvic auto- nomic nervous system and its potential impact on surgical inter- vention in the pelvis显示文摘	BAADER B HERRMANN M	2003	Clin Anat2003，16，：	1
7	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
8	An overview of tableau algorithms for description logics 显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
9	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
10	Fusions of Description Logics and Abstract Description Systems显示文摘	Baader F Lutz C Sturm H	2003	Journal of Artificial Intelligence Research2003，16，2：	1
11	Ceramic forming using enzyme catalyzed reactions 显示文摘	GAUCKLER L J GRAULE Th BAADER F	1999	Materials Chemistry and Physics1999，61，：	1
12	A multi-dimensional terminological knowledge representation language显示文摘	Franz Baader Hans-Jurgen Ohlbach	1995	J of Applied Non-Classical Logics1995，5，：	1
13	Expressive number restrictions in description logics显示文摘	BAADER F SATTLER U	1999	Journal of Logic and Computation1999，9，3：	1
14	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
15	Stereoselective synthesis of HR 780 a new highly potent HMG-CoA reductase inhibitor 显示文摘	Wess G Kesseler K Baader E	1990	Tetrahedron Lett1990，31，18：	1
16	Stereoselecfive synthesis of HR 780 a new highly potent HMG- CoA reduetase inhibitor 显示文摘	Wess G Kesseler K Baader E	1990	Tetrahedron Lett1990，31，：	1
17	An overview of tableau algorithms for de- scription logics显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
18	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
19	Description logics with aggregates and concrete domains显示文摘	Baader F and Sattler U	2003	Information Systems2003，，：	1
20	Collapsin response mediator protein-4 regulates F-aetin bundling 显示文摘	Rosslenbroich V Dai L Baader SL	2005	Exp Cell Res2005，310，2：	1

返回顶部每页显示：

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

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

用户提示