Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем


Название Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем
Размер 3.29 МБ
Рейтинг книги
7.78
(9)


10

СКАЧАТЬ КНИГУ

ЧИТАТЬ ONLINE

БУМАЖНАЯ ВЕРСИЯ КНИГИ



Популярные книги раздела
Введение в дискретную математику
Яблонский С.В.
Задачи по теории множеств, математической логике и теории алгоритмов
Лавров И.А., Максимова Л.Л.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.