TY  - BOOK
AU  - Журтов, А. Х.
AU  - Нирова, М. С.
AU  - Исакова, М. М.
ED  - Кабардино-Балкарский государственный университет им. Х. М. Бербекова
TI  - Приложения алгебры предикатов
PY  - 2022///
CY  - Нальчик
PB  - КБГУ
KW  - Исчисление предикатов
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\AUTH\661352941
KW  - 512(075.8)
KW  - 4
KW  - В123я73-1
N2  - Библиогр.: с. 61 (16 назв.); Авт. указаны на обороте тит. с
ER  -