TY  - BOOK
AU  - Цейтлин, Г. Е.
ED  -  АН УССР. Ин-т кибернетики. 
TI  - Формальные преобразования в алгоритмической алгебре условий
PY  - 1973///
CY  - Киев
KW  - ალგებრა ლოგიკა
KW  - ალგორითმული პროცესები
ER  -