Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969) Ю.В. Матиясевич, А.О. Слисенко (1971) Zapiski naucnych seminarov Leningradskogo
К моделированию синтеза простых предложений на естественном языке Т.И. Ибрагимов (1980) Verojatnostnye metody i kibernetika
Матричные вычисления в задачах распознавания образов И.И. Макаров, Р.К. Самитов (1987) Verojatnostnye metody i kibernetika
Машинный алгорифм установления выводимости на основе обратного метода Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, A.O. Слисенко (1969) Zapiski naucnych seminarov Leningradskogo
Меры сложности слов на основе предиката вхождения и редактирующего расстояния А.Н. Григорьева (1981) Zapiski naucnych seminarov Leningradskogo
Метод синтеза условий выводимости хорновских и некоторых других формул. С.Н. Васильев (1997) Sibirskij matematiceskij zurnal
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка Р. Плюшкявичюс (1995) Zapiski naucnych seminarov POMI
Некоторые вопросы графической регулярности А.И. Шкловский (1971) Zapiski naucnych seminarov Leningradskogo
Некоторые вопросы разработки фактографических систем, ориентированных на работу с математическими текстами А.И. Еникеев, М.Е. Альфес (1979) Verojatnostnye metody i kibernetika
О метаматематическом подходе к доказательству теорем дискретной математики Ю.В. Матиясевич (1975) Zapiski naucnych seminarov Leningradskogo
О поиске вывода в исчислениях общего типа С.Ю. Маслов (1973) Zapiski naucnych seminarov Leningradskogo
О распознавании тавтологичности пропозициональных формул П.Ю. Суворов (1976) Zapiski naucnych seminarov Leningradskogo
О свойствах одной характеристики сложности языков Ф.М. Аблаев (1980) Verojatnostnye metody i kibernetika
О сложности линейных выводов в методе резолюций Р.К. Самитов (1983) Verojatnostnye metody i kibernetika
Об одном возможном подходе к вопросу автоматического синтаксического анализа предложных и беспредложных именных конструкций чешского языка N. A. Paščenko (1966) Kybernetika
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций Н.К. Замов, В.И. Шаронов (1969) Zapiski naucnych seminarov Leningradskogo
Одна схема доказательств в дискретной математике Ю.В. Матиясевич (1974) Zapiski naucnych seminarov Leningradskogo
Применение изограмм в поиске вывода Н.К. Замов, В.И. Шаронов (1973) Issledovanija po prikladnoj matematike
Распознавание изоморфизма древовидных изображений за линейное время А.Н. Григорьева (1984) Zapiski naucnych seminarov Leningradskogo
Распространение обратного метода на аксиоматические теории с равенством А.Ю. Плюшкевичене (1973) Zapiski naucnych seminarov Leningradskogo