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