TY  - BOOK
AU  - Кожевникова, Г.П.
AU  - Завада, А.П.
TI  - К проблеме распознавания эквивалентности выражений
T2  - Препринт
VL  - 78-18
PY  - 1978///
CY  - Киев
PB  - ИК
N2  - Библиогр.: с. 23
ER  -