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