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