Электронный каталог

    страница из
    всего найдено записей: 1,
      отображать

    Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006: revised papers / ed. F. Botana, 2007 r=on-line