Локальные методы поиска вывода в автоматическом решении задач

Вы здесь

Автор:

Замов Н. К.

Количество экземпляров:

Вид:

Автореферат

Год:

1980

Ключевые слова:

вывод

Стр.:

33 с.

Библиография:

Библиогр.: c.32-33

Место защиты:

Ленинград

Номер специальности:

05.13.16

Карточка:

Замов Н. К..

Локальные методы поиска вывода в автоматическом решении задач: Автореферат диссертации на ученую степень: докт. физ.-мат. наук.: 05.13.16.-Ленинград, 1980.-33 с.
Библиогр.: c.32-33