Документы, связанные с Сеики Акама

Обложка, 31.05.1985-09.08.1985
с хронологией работы над статьей.
Сопроводительное письмо, С. Акама->А.П. Ершов, 22.05.1985
к статье "Logic programming as constructive logic with strong negation" для опубликования в журнале TCS.
Статья, 22.05.1985
"Logic programming as constructive logic with strong negation".
Письмо, А.П. Ершов->С. Акама, 08.08.1985
Подтверждает получение статьи и извиняется за задержку с ответом, вызванную болезнью.
Письмо, А.П. Ершов->Н. Н. Непейвода, 09.08.1985
Просит дать заключение о возможности публикации статьи С. Акамы. /Рукописный и машинописный варианты./
Отзыв, Н. Н. Непейвода->А.П. Ершов, 29.08.1985
Отрицательное заключение о статье С. Акамы /на двух языках/.
Письмо с приложением, А.П. Ершов->С. Акама, 05.09.1985
С сожалением сообщает, что статья не может быть опубликована. Приложен отзыв референта.

По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016