Standard

Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере. / Косовский, Н.К.

Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста». 2013. p. 89-97.

Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologyResearch

Harvard

Косовский, НК 2013, Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере. in Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста». pp. 89-97.

APA

Косовский, Н. К. (2013). Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере. In Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста» (pp. 89-97)

Vancouver

Косовский НК. Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере. In Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста». 2013. p. 89-97

Author

Косовский, Н.К. / Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере. Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста». 2013. pp. 89-97

BibTeX

@inbook{a14ceb8b3ea5440da9a905632efe6dfe,
title = "Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере",
author = "Н.К. Косовский",
year = "2013",
language = "русский",
pages = "89--97",
booktitle = "Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста»",

}

RIS

TY - CHAP

T1 - Алгоритмическая сложность разрешимости языка свойств программ-функций на компьютере

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

PY - 2013

Y1 - 2013

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

SP - 89

EP - 97

BT - Лавровские чтения 2013: Материалы всероссийской научной конференции по проблемам информатики. Пленарные заседания. 23 — 25 апреля 2013 г. , Санкт Петербург. / С.-Петерб. гос. ун-т. - Санкт Петербург : ООО «ИПК «Береста»

ER -

ID: 4663286