Замов Н. К.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
А	Локальные методы поиска вывода в автоматическом решении задач	1980	Замов Н. К.					21.04.1980
А	Поиск вывода в исчислении предикатов и возможности ограничения сложности термов в выводах	1973	Замов Н. К.					27.02.1973