Поиск :
Личный кабинет :
Электронный каталог: Замов, Н. К. - Метод резолюции без скулемизации
Замов, Н. К. - Метод резолюции без скулемизации
Статья
Автор: Замов, Н. К.
Доклады Академии наук СССР: Метод резолюции без скулемизации
б.г.
ISBN отсутствует
Автор: Замов, Н. К.
Доклады Академии наук СССР: Метод резолюции без скулемизации
б.г.
ISBN отсутствует
На полку
Статья
Замов, Н. К.
Метод резолюции без скулемизации / Н. К. Замов // Доклады Академии наук СССР. – 1987. – Т. 293, № 5. – С. 1046-1049.
-- 1. Математика.
Замов, Н. К.
Метод резолюции без скулемизации / Н. К. Замов // Доклады Академии наук СССР. – 1987. – Т. 293, № 5. – С. 1046-1049.
-- 1. Математика.
Привязано к:
Доступно
1 из 1
Выпуск
Доклады Академии наук СССР Т. 293, № 5
1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доклады Академии наук СССР Т. 293, № 5
1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН