МАТЕМАТИКА

Мажоранты логических вычислений. Леммы о подъеме и спуске в логическом программировании

Ю. В. Гавриленко

Вычислительный центр АН СССР, г. Москва

УДК: 510.662+510.63

Статья представлена к публикации: А. А. Дородницын
Поступило: 29.12.1990

 Англоязычная версия: Doklady Mathematics, 1991, 43:3, 716–720

Реферативные базы данных:

• 
•