МАТЕМАТИКА

Корректные классы вычислений в логическом программировании

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

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

УДК: 510.662+510.624

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

 Англоязычная версия: Doklady Mathematics, 1991, 43:2, 422–426

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

• 
•