Подробности: Методы автоматического поиска доказательств

Книга

Методы автоматического поиска доказательств

Автор (Альтер.): Крысанов, А.И.;Попов, С.В.;Короткова, М.А.;Жданов, В.Н.Язык: русский.Выходные данные: Москва : Б. и., 1977Физическая характеристика: 46 с. ; 21 см.Серия: Ин-т прикл. математики АН СССР. [Препринт ; № 30]Примечания: Перед загл. авт.: В.Н. Жданов, М.А. Короткова, А.И. Крысанов, С.В. Попов.Библиография: Библиогр.: с. 45-46. Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж, Хран.	77-4/18102 (Просмотр полки(Открывается ниже))	Доступно		6580416-10

Перед загл. авт.: В.Н. Жданов, М.А. Короткова, А.И. Крысанов, С.В. Попов

Библиогр.: с. 45-46