
Формальные преобразования в алгоритмической алгебре условий
Сохранено в:
Вид документа: | |
---|---|
Автор: | Цейтлин, Г. Е. |
Опубликовано: | Киев : [ИК] , 1973 |
Физические характеристики: |
28 с. ; 20 см
|
Язык: | Русский |
Серия: |
Препринт
73-25 |
Предмет: |
00000nam0a22000001ib4500 | |||
001 | BY-NLB-rr18110450000 | ||
005 | 20070503134846.0 | ||
010 | # | # | $d 8 к. |
021 | # | # | $a RU $b [73-61745] |
100 | # | # | $a 20070503d1973 y0rusy50 ca |
101 | 0 | # | $a rus |
102 | # | # | $a UA |
200 | 1 | # | $a Формальные преобразования в алгоритмической алгебре условий |
210 | # | # | $a Киев $c [ИК] $d 1973 |
215 | # | # | $a 28 с. $d 20 см |
225 | 2 | # | $a Препринт $f Секция «Мат. обеспечение ЭЦВМ» $f АН УССР. Ин-т кибернетики $v 73-25 |
300 | # | # | $a Список лит.: с. 27-28 (9 назв.) |
345 | # | # | $9 300 экз. |
610 | 0 | # | $a Алгебра логики |
610 | 0 | # | $a Алгоритмизация процесса |
675 | # | # | $a 512.932 |
700 | # | 1 | $a Цейтлин $b Г. Е. |
801 | # | 1 | $a BY $b BY-HM0000 $c 20070503 $g psbo |