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

32篇 您的检索式：作者名="BAADER U"

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

	题名	作者	年代	出处	被引量
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	An overview of tableau algorithms for description logics 显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
4	Expressive number restrictions in description logics显示文摘	BAADER F SATTLER U	1999	Journal of Logic and Computation1999，9，3：	1
5	An overview of tableau algorithms for de- scription logics显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，1：	1
6	Description logics with aggregates and concrete domains显示文摘	Baader F and Sattler U	2003	Information Systems2003，，：	1
7	Expressive number restrictions in description logics显示文摘	U Sattler	1999	Logic and Computation1999，9，3：	1
8	An overview of tableau algorithms for de- scription logics显示文摘	Baader F Sattler U	2001	Studia Logiea2001，69，1：	1
9	An overview of Tableau algo- rithms for description logics 显示文摘	BAADER F SATI'LER U	2001	Studia Logiea2001，69，1：	1
10	Direct Self Control (DSC) of inverter fed induction machine : A basis for speed con- trol without speed measuremen显示文摘	BAADER U DEPENBROCK M GIERSE G	1992	IEEE Transactions on Indus- trial Applications1992，28，3：	1
11	Description logics 显示文摘	Baader F Horrocks I Sattler U	2008	Founda- tions of Artificial Intelligence2008，3，：	1
12	Direct self-control(DSC) of inverter- fed Induction Machine: a Basis for Speed Control Without Speed Measurement显示文摘	Baader U Depenbrock M Gierse G	1992	IEEE Transactions on Industry Applications1992，28，3：	1
13	Description logics as ontology languages for the semanticWeb显示文摘	Baader F Horroeks I Sattler U	2005	Lecture Notes in Artificial Intelligence2005，2605，：	1
14	High dynamic torque control of induction motor in stator flux oriented coordinates显示文摘	Baader U	1998	ETZ Arch1998，11，1：	1
15	An Overview of Tableau Algorithms for Description Logies显示文摘	Baader F Sattler U	2001	Studia Logiea2001，69，：	1
16	An overview of Tableau algorithms for description logics显示文摘	Baader F Sattler U	2001	Studia Logica2001，69，：	1
17	Direct Self Control (DTC) of Inverter-Fed Induction Machine: A Basis for Speed Control without Speed Measurement显示文摘	Baader U	1992	IEEE Transactions on Industry Applications1992，28，3：	1
18	Description logics as ontologylanguages for the semantic web显示文摘	Baader F Horrocks I Sattler U	2005	Lecture Notes in ArtificialIntelligence2005，，：	1
19	High dynamic torque control of induction motor in stator flux oriented coordinates显示文摘	Baader U	1998	ETZ Arch1998，11，1：	1
20	An overview of tableau algorithms for description logic显示文摘	BAADER F SATTLER U	2001	Studia Logical2001，3，69：	1

返回顶部每页显示：

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

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

用户提示