Построение основных операторов теории сочетаний К-алгорифмов из операторов простых типов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О системе операторов, упрощающих теорию сочетаний К-алгорифмов”
Построение основных операторов теории сочетаний К-алгорифмов из операторов простых типов
Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Словарные операторные алгорифмы
А.Г. Драгалин (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:
Иерархии операторов в конструктивных метрических пространствах
С.В. Пахомов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распознавании инвариантных свойств коротких алгорифмов
Н.К. Косовский (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Н.А. Шанин (1995)
Zapiski naucnych seminarov POMI
Similarity:
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)
Algebra i Logika
Similarity:
Связь интегрируемости конструктивных функций по Риману и по Лебегу
O. Демут (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об алгорифмических последовательностях из начального класса иерархии Гжегорчика
Н.К. Косовский (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Полнота волновых операторов для систем с равномерным распространением
В.Г. Дейч (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity: