000 01088nam a22002657c 4500
001 000025104
003 RuMoIPM
005 20251117193329.0
008 251022s1994 ru ||||| |||| 00| 0 rus d
022 _a2071-2898 (Print)
022 _a2071-2901 (Online)
035 _abiblionumber
040 _aRuMoIPM
_brus
_ercr
041 _arus
044 _aru
080 _2udk
_a519.1
100 _aЗахаров, В. А.
245 _a№ 73. О преобразовании операторных процедур в логические программы
_cВ. А. Захаров, С. И. Маневич
260 _c1994
300 _a23 с.
490 0 _aПрепринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
700 1 _aМаневич, С. И.
773 0 8 _w000024320
_7nnas
_dМосква: ИПМ им. М. В. Келдыша РАН
_tПрепринты ИПМ им.М.В.Келдыша. - 1994
_x2071-2898 (Print)
942 _cPR
999 _c25104
_d25104