|
Доклады Академии наук, 1991, том 318, номер 3, страницы 528–532
(Mi dan6039)
|
|
|
|
МАТЕМАТИКА
Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании
Ю. В. Гавриленко Вычислительный центр АН СССР, г. Москва
Образец цитирования:
Ю. В. Гавриленко, “Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании”, Докл. АН СССР, 318:3 (1991), 528–532; Dokl. Math., 43:3 (1991), 716–720
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan6039 https://www.mathnet.ru/rus/dan/v318/i3/p528
|
Статистика просмотров: |
Страница аннотации: | 63 | PDF полного текста: | 17 |
|