![]() ![]() ![]() | |
Гудаев О.А. Проектирование интеллектуальных систем с переключаемыми стратегиями автоматического доказательства теорем Вид документа: Стаття періодичного видання Автор: Гудаев О.А. Авторський знак: Г93 Вид автора: персона Мова: Російська Обсяг: с.82 Шифр: 004.08 УДК: 004.08 Є складовою частиною документа: Искусственный интеллект | |
|