Отзыв Отрицательное заключение о статье С. Акамы /на двух языках/. Дата: 29.08.1985 Названия статей: "Logic programming as constructive logic with strong negation" Оригинальный язык документа: русский, английский Авторы: Николай Николаевич Непейвода Персоналии: Сеики Акама Адресаты: Андрей Петрович Ершов
