Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Отзывы о книге Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги». Посоветовать книгу