Standard

Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. / Косовский, Н.К.

Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН, 2013. p. 17 — 22.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

Harvard

Косовский, НК 2013, Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. in Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН, pp. 17 — 22.

APA

Косовский, Н. К. (2013). Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. In Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина. (pp. 17 — 22). Институт проблем машиноведения РАН.

Vancouver

Косовский НК. Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. In Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН. 2013. p. 17 — 22

Author

Косовский, Н.К. / Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16. Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.. Институт проблем машиноведения РАН, 2013. pp. 17 — 22

BibTeX

@inproceedings{0196c9ddff2f47229f1bd3c833238d76,
title = "Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16.",
author = "Н.К. Косовский",
year = "2013",
language = "русский",
pages = "17 — 22",
booktitle = "Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.",
publisher = "Институт проблем машиноведения РАН",
address = "Российская Федерация",

}

RIS

TY - GEN

T1 - Свойства целочисленных паскаль-функций, доказуемых на основе арифметики по модулю 2^16.

AU - Косовский, Н.К.

PY - 2013

Y1 - 2013

M3 - статья в сборнике материалов конференции

SP - 17 — 22

BT - Дискретная математика и её приложения: Сборник лекций молодёжных научных школ по дискретной математике и её приложениям. Выпуск VII. Под редакцией А.В.Чашкина.

PB - Институт проблем машиноведения РАН

ER -

ID: 4688144