Электронный каталог -Петренко, А. А. - Логическое программирование- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Петренко, А. А. - Логическое программирование

Петренко, А. А. - Логическое программирование

Доступно
2 из 2

Книга
Автор: Петренко, А. А.
Логическое программирование : учебник
Серия: Высшее образование
Издательство: ИНФРА-М, 2025 г.
ISBN 978-5-16-018782-2

Заказать

На полку

Книга
УДК 519 П303

Петренко, А. А.
Логическое программирование : учебник / А. А. Петренко, А. О. Суворов. – Москва : ИНФРА-М, 2025. – 221 с. – (Высшее образование). – ISBN 978-5-16-018782-2.

519 П303

ГАСНТИ 27.03.55
Математика : основания математики и математическая логика : теория доказательств

1110664 Кх
1110665 Кх