Standard

Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. / Косовская, Т.М.

In: Труды СПИИРАН: SPIIRAS Proceedings, No. 14, 2010, p. 58 – 75.

Research output: Contribution to journal › Article › peer-review

Harvard

Косовская, ТМ 2010, 'Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения', Труды СПИИРАН: SPIIRAS Proceedings, no. 14, pp. 58 – 75. <http://elibrary.ru/item.asp?id=15565284>

APA

Косовская, Т. М. (2010). Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. Труды СПИИРАН: SPIIRAS Proceedings, (14), 58 – 75. http://elibrary.ru/item.asp?id=15565284

Vancouver

Косовская ТМ. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. Труды СПИИРАН: SPIIRAS Proceedings. 2010;(14):58 – 75.

Author

Косовская, Т.М. / Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. In: Труды СПИИРАН: SPIIRAS Proceedings. 2010 ; No. 14. pp. 58 – 75.

BibTeX

@article{87befa811c724628919385e804422f9c,
title = "Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения",
author = "Т.М. Косовская",
year = "2010",
language = "не определен",
pages = "58 – 75",
journal = "SPIIRAS Proceedings",
issn = "2078-9181",
publisher = "Санкт-Петербургский институт информатики и автоматизации РАН",
number = "14",

}

RIS

TY - JOUR

T1 - Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения

AU - Косовская, Т.М.

PY - 2010

Y1 - 2010

M3 - статья

SP - 58

EP - 75

JO - SPIIRAS Proceedings

JF - SPIIRAS Proceedings

SN - 2078-9181

IS - 14

ER -

ID: 5161342