Архив академика А.П.Ершова

Архив

Редакционно-издательская деятельность

Сотрудничество с журналом "Доклады АН СССР"

Резюме

Резюме
на статью Н.К. Замова "Метод резолюции без скулемизации".
Дата: 24.10.1985
Названия статей: "Метод резолюции без скулемизации"
Оригинальный язык документа: русский
Авторы: Григорий Ефроимович Минц
Персоналии: Н. К. Замов

Изображения страниц:


	1

Назад
Следующий документ (Письмо )
Предыдущий документ (Статья)

Switch to English | Поиск | Расширенный поиск | Папки | Темы