| Об ограничении сложности термов в методе резолюций НК Замов Труды Математического института имени ВА Стеклова 121 (0), 5-13, 1972 | 3 | 1972 |
| СОГЛАСОВАНО НВ Черноножкина, ЕС Савельева | 1 | 2018 |
| Задачи по дискретной математике для контрольных и самостоятельных работ Булевы функции: учебный практикум АВ Васильев, ПВ Пшеничный, НК Замов | 1 | 2008 |
| Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций НК Замов, ВИ Шаронов Записки научных семинаров ПОМИ 16 (0), 54-64, 1969 | 1 | 1969 |
| Один алгоритм поиска вывода в клеточном исчислении НК Замов, ВИ Шаронов Ученые записки Казанского университета. Серия Физико-математические науки …, 1968 | 1 | 1968 |
| Один алгоритм нахождения полного усиления секвенций в исчислении высказываний НК Замов, ВИ Шаронов Ученые записки Казанского университета. Серия Физико-математические науки …, 1968 | 1 | 1968 |
| Некролог. Леонид Александрович Аксентьев НР Абубакиров, ФГ Авхадиев, АВ Аминова, ММ Арсланов, ... Известия высших учебных заведений. Математика, 98-100, 2021 | | 2021 |
| Альберт Валентинович Сульдин (некролог) ЯИ Заботин, НК Замов, ЛА Аксентьев, ТН Земцева Известия высших учебных заведений. Математика, 84-84, 1996 | | 1996 |
| Создание интеллектуальной компьютерной системы для автоматического доказательства теорем в некоторых областях геометрии МВ Шарин, ВЮ Базылев, НК Замов, ВЮ Михайлов, СВ Чистяков Российский фонд фундаментальных исследований, 1994 | | 1994 |
| Локальные методы поиска вывода в автоматическом решении задач НК Замов АН СССР. Ленингр. ин-т информатики и автоматизации, 1989 | | 1989 |
| Модальные резолюции НК Замов Известия высших учебных заведений. Математика, 22-29, 1989 | | 1989 |
| Об одной модификации талтики с упорядочиванием в методе резолюций НК Замов Issledovanija po prikladnoj matematike 3 (6), 68-74, 1988 | | 1988 |
| Метод резолюций без скулемизации НК Замов Доклады Академии наук 293 (5), 1046-1049, 1987 | | 1987 |
| МОДИФИКАЦИЯ МЕТОДА РЕЗОЛЮЦИЙ ДЛЯ НЕСКУЛЕМИЗИРОВАННЫХ ФОРМУЛ НК Замов IV Всесоюзная конференция Применение методов математической логики: Секция …, 1986 | | 1986 |
| МОДИФИКАЦИЯ МЕТОДА РЕЗОЛЮЦИЙ ДЛЯ НЕСШЕМ ИЗИРОВАННЫХ ФОРМУЛ НК Замов IV Всесоюзная конференция Применение методов математической логики, 72, 1986 | | 1986 |
| Система программирования контролирующих курсов НК Замов, РК Самитов, ПВ Пшеничный Исследования по прикладной математике и информатике 12 (0), 3-10, 1984 | | 1984 |
| О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы НК Замов, НИ Звягина, РК Самитов Исследования по прикладной математике и информатике 9 (0), 106-111, 1981 | | 1981 |
| Обеспечение работы автора в автоматизированной обучающей системе Гамма НК Замов, ВФ Зискин, ПВ Пшеничный Исследования по прикладной математике и информатике 8 (0), 99-104, 1980 | | 1980 |
| Принципы построения автоматизированной обучающей системы Гамма НК Замов, НИ Звягина, РК Самитов Исследования по прикладной математике и информатике 8 (0), 85-88, 1980 | | 1980 |
| Разрешающие тактики поиска вывода в методе резолюций НК Замов, ВИ Шаронов Исследования по прикладной математике и информатике 4 (0), 31-34, 1977 | | 1977 |
