Standard

Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. / Косовский, Н.К.

Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.). МАКС Пресс, 2009.

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная

Harvard

Косовский, НК 2009, Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. в Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.). МАКС Пресс.

APA

Косовский, Н. К. (2009). Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. в Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.) МАКС Пресс.

Vancouver

Косовский НК. Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. в Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.). МАКС Пресс. 2009

Author

Косовский, Н.К. / Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю. Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.). МАКС Пресс, 2009.

BibTeX

@inbook{7a879c1fa8ad4cb48b4b491df95eb640,
title = "Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю",
author = "Н.К. Косовский",
year = "2009",
language = "не определен",
booktitle = "Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.)",
publisher = "МАКС Пресс",
address = "Российская Федерация",

}

RIS

TY - CHAP

T1 - Полиномиальный алгоритм проверки разрешимости ограниченной универсальной теории сравнений по простому модулю

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

PY - 2009

Y1 - 2009

M3 - статья в сборнике

BT - Труды VIII Международной конференции «Дискретные модели в теории управляющих систем». (Москва, 6 – 9 апреля 2009 г.)

PB - МАКС Пресс

ER -

ID: 4435456