Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование / О. М. Москаленко, И. В. Петров, М. И. Тельпиз, В. И. Шевченко
Сохранено в:
Вид документа: | |
---|---|
Опубликовано: | М. , 1990 |
Физические характеристики: |
35 с. : рис.
|
Язык: | Русский |
Серия: |
АН СССР, Ин-т косм. исслед.
Пр-1612 |
Предмет: |
00000cam0a22000001ib4500 | |||
001 | BY-NLB-rr25701570000 | ||
005 | 20150622094201.0 | ||
010 | # | # | $d Б. ц. |
100 | # | # | $a 20071203d1990 y0rusy50 ||||ca |
101 | 0 | # | $a rus |
102 | # | # | $a RU |
200 | 1 | # | $a Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование $f О. М. Москаленко, И. В. Петров, М. И. Тельпиз, В. И. Шевченко |
210 | # | # | $a М. $d 1990 |
215 | # | # | $a 35 с. $c рис. |
225 | 2 | # | $a АН СССР, Ин-т косм. исслед. $v Пр-1612 |
300 | # | # | $a Библиогр.: с. 35 (7 назв.) |
345 | # | # | $9 100 экз. |
610 | 0 | # | $a Алгебра логики |
610 | 0 | # | $a Алгоритмы |
610 | 0 | # | $a Вычисления на вычислительных машинах |
675 | # | # | $a 512.56 |
801 | # | 1 | $a BY $b BY-HM0000 $c 20071203 $g psbo |