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