Вы здесь

Главная

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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015 2015 Lecture Notes in Artificial Intelligence
  1. Kerber M.
  2. Carette J.
  3. Kaliszyk C.
  4. Rabe F.
 02.09.2015
СБ Towards Mechanized Mathematical Assistants:Proc./14th Symposium, Calculemus 2007, 16th International Conf.MKM 2007, Hagenberg,Austria,June 2007 2007 Lecture Notes in Artificial Intelligence
  1. Kauers M.
  2. Kerber M.
  3. Miner R.
  4. Windsteiger W.
 30.10.2007
СБ Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000 2000 Lecture Notes in Artificial Intelligence
  1. Lloyd J.
  2. Dahl V.
  3. Furbach U.
  4. Kerber M.
 07.09.2000