УДК: 510.6:164.1
Математическая логика и автоматическое доказательство теорем
Чень Ч., Ли Р.
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
06.03.2007 -- М. : Наука
Книга
Навчальне видання
Мова:rus
Відомості про
відповідальність : пер. с англ. Г.В. Давыдова, Г.Е. Минца и
А.В. Сочилиной; под ред. С.Ю. Маслова
Загальні
зауваження :
http://ebooks.znu.edu.ua/files/mathbooks/teoriya_algoritmov/
BOOKS/teoriya_algoritm/Chen.djv
Дата внесення :
06.03.2007
Переглядів: 0
Популярність: 0%
