Вы здесь

Главная

Baader F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Description Logics with Aggregates and Concrete Domains 2003 Baader F., Sattler U. Information Systems 24.09.2003
М Term Rewriting and All That 1999 Baader F., Nipkow T. Univ. Cambridge 27.04.2000
П Unification in Commutative Theories, Hilbert s Basis Theorem, and Grobner Bases 1990 Baader F. Lecture Notes in Artificial Intelligence Univ. Kaiserslautern 16.05.1998
СТ Combination of Constraint Solving Techniques: An Algebraic Point of View 1995 Baader F., Schulz K. U. Lecture Notes in Computer Science 28.04.1995
СТ Cardinality Restrictions on Concepts 1994 Baader F., Buchheit M., Hollunder B. Lecture Notes in Artificial Intelligence 20.10.1994
СТ Unification in Commutative Theories, Hilbert s Basis Theorem, and Groibner Bases 1993 Baader F. J. of the ACM 13.09.1993
СТ Extensions of Concept Languages for a Mechanical Engineering Application 1993 Baader F., Hanschke Ph. Lecture Notes in Computer Science 12.08.1993
П Terminological Cycles in KL-ONE-based Knowledge Representation Languages 1990 Baader F. Deutsches Forschungszentrum fur Kunstliche Intelligenz 21.02.1991
П A Formal Definition for the Expressive Power of Knowledge Representation Languages 1990 Baader F. Deutsches Forschungszentrum fur Kunstliche Intelligenz 16.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Term Rewriting and Applications: Proc./18th International Conference, RTA 2007. Paris, France, June 2007 2007 Lecture Notes in Computer Science
  1. Baader F.
 26.06.2007
СБ Logic for Programming, Artificial Intelligence, and Reasoning: Proc./11th International Conference, LPAR 2004. Montevideo, Uruguay, March 2005 2005 Lecture Notes in Artificial Intelligence
  1. Baader F.
  2. Voronkov A.
 22.04.2005
СБ Automated Deduction - CADE-19: Proc./19th Intern. Conf. on Automated Deduction, Miami Beach, FL, USA, July-August 2003 2003 Lecture Notes in Artificial Intelligence
  1. Baader F.
 19.09.2003
СБ KI 2001: Advances in Artificial Intelligence: Proc./Joint German/Austrian Conference on AI Vienna,Austria,September 2001 2001 Lecture Notes in Artificial Intelligence
  1. Baader F.
  2. Brewka G.
  3. Eiter Th.
 08.10.2001