Вы здесь

Главная

Hinkelmann K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Computing Cost Estimates for Proof Strategies 1994 Hinkelmann K., Hintze H. Lecture Notes in Artificial Intelligence 01.07.1994
СТ Combining Terminological and Rule-based Reasoning for Abstraction Processes 1993 Hanschke Ph., Hinkelmann K. Lecture Notes in Computer Science 12.08.1993
СТ Forward Logic Evaluation: Compiling a Partially Evaluated Meta-Interpreter into the WAM 1993 Hinkelmann K. Lecture Notes in Computer Science 12.08.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Knowledge-Based and Intelligent Information and Engineering Systems, Part IV: Proc./15th International Conference, KES 2011, Kaiserslautern, Germany, September 2011 2011 Lecture Notes in Artificial Intelligence
  1. Konig A.
  2. Dengel A.
  3. Hinkelmann K.
  4. Kise K.
 22.11.2011
СБ Knowledge-Based and Intelligent Information and Engineering Systems, Part III: Proc./15th International Conference, KES 2011, Kaiserslautern, Germany, September 2011 2011 Lecture Notes in Artificial Intelligence
  1. Konig A.
  2. Dengel A.
  3. Hinkelmann K.
  4. Kise K.
 22.11.2011
СБ Knowledge-Based and Intelligent Information and Engineering Systems, Part II: Proc./15th International Conference, KES 2011, Kaiserslautern, Germany, September 2011 2011 Lecture Notes in Artificial Intelligence
  1. Konig A.
  2. Dengel A.
  3. Hinkelmann K.
  4. Kise K.
 22.11.2011
СБ Knowledge-Based and Intelligent Information and Engineering Systems, Part I: Proc./15th International Conference, KES 2011, Kaiserslautern, Germany, September 2011 2011 Lecture Notes in Artificial Intelligence
  1. Konig A.
  2. Dengel A.
  3. Hinkelmann K.
  4. Kise K.
 22.11.2011