Словарные операторные алгорифмы
А.Г. Драгалин (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.
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.
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 “Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация”
Словарные операторные алгорифмы
Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые замечания о поиске вывода в исчислении предикатов
Г.В. Давыдов (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О системе операторов, упрощающих теорию сочетаний К-алгорифмов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Построение основных операторов теории сочетаний К-алгорифмов из операторов простых типов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity:
Связь интегрируемости конструктивных функций по Риману и по Лебегу
O. Демут (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Н.А. Шанин (1995)
Zapiski naucnych seminarov POMI
Similarity:
К тридцатилетию Сибирского отделения АН СССР.
([unknown])
Sibirskij matematiceskij zurnal
Similarity:
О частотном вычислении функций
Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)
Algebra i Logika
Similarity:
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)
Algebra i Logika
Similarity:
О базисах алгебр рекурсивных функций
И.А. Лавров, Е.А. Поляков (1966)
Sibirskij matematiceskij zurnal
Similarity:
О точных представлениях частично упорядоченных множеств конечного типа
М.М. Клейнер (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Неразрешимость проблемы вхождения в группах Артина конечного типа.
В.Н. Безверхний (1985)
Sibirskij matematiceskij zurnal
Similarity: