TY  - BOOK
AU  - Пономарев, Д. К.
TI  - Проблема разложимости при формальном описании знаний
T2  - Препринт
VL  - 135
PY  - 2006///
CY  - Новосибирск
PB  - Институт систем информатики
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352941
KW  - В123
N2  - Библиогр.: с. 21 (4 назв.)
ER  -