Подробное описание документа

Набебин А. А.
   Логика и Пролог в дискретной математике / Набебин А. А. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.: с. 435-440. - ISBN 5-7046-0162-6.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика
• Программирования языки: Prolog
• Конечные автоматы

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313