TY - BOOK AU - Китаев, Евгений Львович AU - Слепенков,Михаил Иванович TI - № 54. Дедуктивный язык для работы c автоматически структурируемыми данными T2 - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук SN - 2071-2898 PY - 1998/// ER -