Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Некоторые замечания о поиске вывода в исчислении предикатов”
Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Метод установления выводимости в классическом исчислении предикатов
Г.В. Давыдов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Словарные операторные алгорифмы
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О корректировании недоказуемых формул
Г.В. Давыдов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Синтез метода резолюций с обратным методом
Г.В. Давыдов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О системе операторов, упрощающих теорию сочетаний К-алгорифмов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
Г.В. Давыдов, П.Ю. Суворов (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нормальная форма медленных движений уравнения релаксационного типа и расслоения биномиальных поверхностей
А.А. Давыдов (1987)
Matematiceskij sbornik
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Особенности полей предельных направлений двумерных управляемых систем
А.А. Давыдов (1989)
Matematiceskij sbornik
Similarity:
Структурная устойчивость управляемых систем ха ориентируемых поверхностях
A.A. Давыдов (1991)
Matematiceskij sbornik
Similarity: