000 01969nam2a2200325 4500
001 RU\NLR\BIBL_A\022727595
005 20260226130042.0
010 _a978-5-19-012237-4
_bт. 3
_9150
021 _aRU
_bКН-П-25-078568
_9КН-П-25-7611
035 _a(NLR Aleph) 022727595
090 _a13555026
_c13555026
100 _a20260213d2025 u y0rusy50 ca
101 0 _arus
_deng
102 _aRU
105 _aac z 000yy
200 1 _aМоделирование логических процессов
_dModeling of logical processes
_zeng
210 _d2025
215 _a216 с.
_cил., портр.
300 _aРез. англ.
320 _aБиблиогр.: с. 214-216 (20 назв.)
461 0 _1001RU\NLR\BIBL_A\022722928
_12001#$aТеория интеллектуальных систем$dTheory of intelligent systems$eв 4 т.$fВ. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин$gМосковский государственный университет имени М. В. Ломоносова, Механико-математический факультет$zeng$vТ. 3
_1700#1$aКудрявцев$bВ.Б.$gВалерий Борисович
_913696554
_aКудрявцев, В.Б.
_cМосква
_d2025-
_fВ. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин
_lTheory of intelligent systems
_nИзд-во Московского университета
_oв 4 т.
_tТеория интеллектуальных систем
_y978-5-19-012234-3
_vТ. 3
510 1 _aModeling of logical processes
_zeng
606 1 _aИсчисление высказываний
_92225568
_3RU\NLR\AUTH\661336082
606 1 _aИсчисление предикатов
_92255985
_3RU\NLR\AUTH\661352941
606 1 _aМатематическая логика
_xЗадачи
_xРешение
_92233838
_3RU\NLR\AUTH\661340695
686 1 _aВ12с116
942 _cBOOK
980 _aNB