Каталог "Книги"
| Книги
| Библиотека на ДИКПО
Математическая логика и автоматическое доказательство теорем
Чанг Чень; Ричард Ли
ЧТ/510.6/Ч 63
Детайли
- Издателство
- Наука
- Местоиздаване
- Москва
- Година на издаване
- 1983
- Страници
- 359 с.
- Класификационен индекс
-
УДК Значение 510.6 Математическа логика - Ключови думи
- Математическа логика
Допълнителна информация
- Системен №
- 3311
- Допълнителна сигнатура
- Ч 63
- Инвентаризация
-
Статус Брой Читалня (ЧТ) 1