TY  - BOOK
AU  - Климов, Ю. А.
TI  - Специализатор CILPE: доказательство корректности
T2  - Препринт
VL  - N° 33 за 2009 г.
PY  - 2009///
CY  - Москва
PB  - Институт прикладной математики
KW  - CILPE, специализатор
KW  - nlr_sh2
KW  - RU\NLR\auth\661582767
KW  - З973.2-018-5-05,0
KW  - rubbk
KW  - З973.2-018
N2  - Библиогр.: с. 31-32
ER  -