Электронный каталог

Книга
УДК 510 Н134

Набебин, А. А.
Математическая логика и пролог = Mathematical logic and Prolog / А. А. Набебин ; Ред. М. Ф. Черепова ; Моск. энерг. ин-т (МЭИ ТУ). – М. : Изд-во МЭИ, 2004. – 187 с. – Книга на английском языке.

510 Н134

Тезаурус = ГАСНТИ 27.03.19
Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций

1037547 Кх
1037548 Кх
1037549 Кх
1045580 Кх
1045581 Кх
1045582 Кх