УДК: 519.68+510.6
Принципы логики и логического программирования
Метакидес Г., Нероуд А.
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Математична логіка
Обчислювальна математика, Числовий аналіз
Комп'ютерне програмування
22.02.2007 -- М. : Факториал
Книга
Мова:rus
Загальні зауваження :
http://ebooks.zsu.zp.ua/files/mathbooks/teoriya_algoritmov/B
OOKS/logika/Metakides1.djv
Дата внесення :
22.02.2007
Переглядів: 1
Популярність: 50%
