Цейтлин, Г. Е.

Формальные преобразования в алгоритмической алгебре условий / Г. Е. Цейтлин ; АН УССР. Ин-т кибернетики. Препринт 73-25. - Киев, 1973. - 28 с. 20см.

ალგებრა ლოგიკა ალგორითმული პროცესები

512.9