Замов, Наиль Калимович - Локальные методы поиска вывода в автоматическом решении задач : автореферат дис. ... доктора физико-математических наук : 05.13.16

Карточка

Замов, Наиль Калимович.
Замов, Наиль Калимович.

Локальные методы поиска вывода в автоматическом решении задач : автореферат дис. ... доктора физико-математических наук : 05.13.16 / АН СССР. Ленингр. ин-т информатики и автоматизации. - Казань, 1989. - 32 с.
Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
FB 9 90-1/4043-5
FB 9 90-1/4044-3

Документ в свободном доступе. Читать 

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеЛокальные методы поиска вывода в автоматическом решении задач : автореферат дис. ... доктора физико-математических наук : 05.13.16
Коллекции ЭБ Авторефераты
Дата поступления в ЭК 13.03.1990
Дата поступления в ЭБ 01.10.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиАН СССР. Ленингр. ин-т информатики и автоматизации
Выходные данныеКазань, 1989
Физическое описание32 с.
ТемаПрименение вычислительной техники, математического моделирования и математических методов в научных исследованиях ( по отраслям наук )
BBK-кодВ121с31,03
ЯзыкРусский
Места храненияFB 9 90-1/4043-5
FB 9 90-1/4044-3
Электронный адрес Электронный ресурс