Документы, связанные с Н. К. Замов

Письмо, Н. К. Замов->А.П. Ершов, 15.11.1985
Автор посылает свою статью с просьбой представить ее в ДАН СССР. /Текст рукописный./
Статья, 25.11.1985
Н.К. Замова "Метод резолюции без скулемизации".
Резюме, 24.10.1985
на статью Н.К. Замова "Метод резолюции без скулемизации".
Письмо, Г. Е. Минц->А.П. Ершов, 22.12.1987
Автор сообщает, что находится в Москве с 22 по 24 декабря. Надеется увидеться с адресатом и поговорить. Спрашивает, когда и где это можно сделать? /Текст рукописный./

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


Назад

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