Вы здесь

Kerber M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Adapting Methods to Novel Tasks in Proof Planning 1994 Huang X., Kerber M., Kohlhase M., Richts J. Lecture Notes in Artificial Intelligence 21.10.1994
П A Frame Based Approach to Representing Mathematical Concepts 1989 Kerber M. Univ. Kaiserslautern 08.06.1991