TY  - BOOK
AU  - Шелехов, В. И.
ED  - Институт систем информатики им. А. П. Ершова
TI  - Методы предикатного программирования
PY  - 2003///
CY  - Новосибирск
PB  - Ин-т систем информатики
KW  - Предикатное программирование(компьют.)
KW  - Сборники
KW  - nlr-sh2
KW  - RU\NLR\auth\661366085
KW  - З973.2-018.2я43
N2  - Библиогр. в конце ст
ER  -