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

в: Труды СПИИРАН: SPIIRAS Proceedings, № 14, 2010, стр. 58 – 75.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

@article{87befa811c724628919385e804422f9c,

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

author = "Т.М. Косовская",

year = "2010",

language = "не определен",

pages = "58 – 75",

journal = "Информатика и автоматизация",

issn = "2713-3192",

publisher = "Санкт-Петербургский институт информатики и автоматизации РАН",

number = "14",

}

TY - JOUR

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

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

PY - 2010

Y1 - 2010

M3 - статья

SP - 58

EP - 75

JO - Информатика и автоматизация

JF - Информатика и автоматизация

SN - 2713-3192

IS - 14

ER -

ID: 5161342