Отраслевые рубрики: информатика, информационные системы, искусственный интеллект, представление знаний, интеллектуальные информационные системы

Ключевые слова: автоматический синтез программ, автоматическое доказательство теорем, автоматическое управление, алгоритм A*, алгоритмы поиска решений, вопростно-ответные системы, дедуктивный синтез программ, интеллектуальные базы данных, интеллектуальные игры, исчисление предикатов, метод резолюции, поиск на графе, поиск на игровых деревьях, поиск решений, представление знаний, распознавание образов, символический искусственный интеллект, системы дедукций, системы продукций, сопоставление, стратегии управления, структурный синтез программ, эвристический поиск

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	2	2	0