TY  - BOOK
AU  - Гладкий,А.В.
AU  - Диковский,А.Я.
AU  - Канович,М.И.
ED  - 
TI  - Автоматы, алгорифмы,языки: Мвжвузовский тематический сборник
U1  - 51.01:16 
PY  - 1982///
CY  - Калинин
KW  - Математика
KW  - Математическая логика
N1  - Библиогр. в конце главы
ER  -