Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. / Косовский, Н.К.
Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН, 2013. стр. 17 — 22.Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная
}
TY - GEN
T1 - Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16.
AU - Косовский, Н.К.
PY - 2013
Y1 - 2013
M3 - статья в сборнике материалов конференции
SP - 17 — 22
BT - Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.
PB - Институт проблем машиноведения РАН
ER -
ID: 4688144