Вы здесь
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 |
|
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 |
|
30.10.2007 | |||
СБ | Computational Logic - CL 2000: Proc./First Intern. Conf., London, UK, July 2000 | 2000 | Lecture Notes in Artificial Intelligence |
|
07.09.2000 |