Математическая логика и теория алгоритмов для программистов: учебное пособие для вузов/

Bibliographic Details
Main Authors:	Гринченков, Д. В. Дмитрий Валерьевич (Author), Потоцкий, С. И. Сергей Иванович (Author)
Format:	Book
Published:	М.: КноРус 2010
Subjects:	ТЕОРИЯ МНОЖЕСТВ БУЛЕВА АЛГЕБРА МНОЖЕСТВА ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ЯЗЫК ПРОЛОГ УЧЕБНЫЕ ПОСОБИЯ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items