519.7 Ц 32 Цейтлин, Г. Е.     Формальные преобразования в алгоритмической алгебре условий [Текст] / АН УССР.Ин-т кибернетики. Секция "Математическое обеспечение ЭЦВМ". — К., 1973. — 28 с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки	1	Перейти на сайт