Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 7 of 7

Order by Relevance | Title | Year of publication

Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов

Н.К. Замов — 1974

Issledovanija po prikladnoj matematike

Об одной модификации талтики с упорядочиванием в методе резолюций

Н.К. Замов — 1988

Issledovanija po prikladnoj matematike

Применение изограмм в поиске вывода

Н.К. Замов; В.И. Шаронов — 1973

Issledovanija po prikladnoj matematike

Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций

Н.К. Замов; В.И. Шаронов — 1969

Zapiski naucnych seminarov Leningradskogo

Принципы построения автоматизированной обучающей системы Гамма

Н.К. Замов; Н.И. Звягина; Р.К. Самитов

Issledovanija po prikladnoj matematike

Система программирования контролирующих курсов

Н.К. Замов; Р.К. Самитов; П.В. Пшеничный

Issledovanija po prikladnoj matematike

Обеспечение работы автора в автоматизированной обучающей системы Гамма

Н.К. Замов; В.Ф. Зискин; П.В. Пшеничный

Issledovanija po prikladnoj matematike

Page 1

Download Results (CSV)