Вы здесь

Главная

Kauers M.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Mathematical Software - ICMS 2018: Proc./6th International Conference, South Bend,IN,USA, July 2018 2018
  1. Davenport J. H.
  2. Kauers M.
  3. Labahn G.
  4. Urban J.
 26.09.2018
СБ 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