EuDML | Browse

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 23 Next

Displaying 441 – 460 of 516

О некоторых свойствах отображений сноп-пространств

В.П. Чернов (1974)

Zapiski naucnych seminarov Leningradskogo

О непрерывности конструктивных функционалов

В.П. Оревков (1971)

Zapiski naucnych seminarov Leningradskogo

О неудлиняющих применениях правил для равенства

В.П. Оревков (1969)

Zapiski naucnych seminarov Leningradskogo

О пpeдcтавимocти paвномерно непрерывных конструктивных функций

Osvald Demuth (1973)

Commentationes Mathematicae Universitatis Carolinae

О поиске вывода в исчислениях общего типа

С.Ю. Маслов (1973)

Zapiski naucnych seminarov Leningradskogo

О правилах типа сечения в исчислениях общего вида

С.Ю. Маслов, С.A. Норгела (1974)

Zapiski naucnych seminarov Leningradskogo

О представимости конструктивных функций, обладающих свойствами $(S)$ и $(T_{1})$ в виде суперпозиций

Osvald Demuth (1974)

Commentationes Mathematicae Universitatis Carolinae

О представимости конструктивных функций слабо ограниченной вариации

Osvald Demuth (1970)

Commentationes Mathematicae Universitatis Carolinae

О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0 ▵ 1$ конструктивных функций

Osvald Demuth, Jan Polívka (1979)

Commentationes Mathematicae Universitatis Carolinae

О псевдодифференцируемости равномерно непрерывных конструктивных функций на конструктивных действительных числах

Osvald Demuth (1978)

Commentationes Mathematicae Universitatis Carolinae

О псевдодифференцируемости равномерно непрерывных конструктивных функций по функциям того же типа

Osvald Demuth (1981)

Commentationes Mathematicae Universitatis Carolinae

О псевдофункциях Шеннона

И.Д. Заславский (1969)

Zapiski naucnych seminarov Leningradskogo

О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр

В.П. Добрица (1975)

Sibirskij matematiceskij zurnal

О свойствах неопределённых конструктивннх интегралов Лебега-Стилтьеса

Osvald Demuth, V. Kmínek (1980)

Commentationes Mathematicae Universitatis Carolinae

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

Osvald Demuth (1974)

Commentationes Mathematicae Universitatis Carolinae

О сложности вывода в исчислении высказываний

Г.С. Цейтин (1968)

Zapiski naucnych seminarov Leningradskogo

О сложности линейных выводов в методе резолюций

Р.К. Самитов (1983)

Verojatnostnye metody i kibernetika

О соотношении классического и конструктивного вариантов построения математического анализа

М.Г. Гельфонд (1973)

Zapiski naucnych seminarov Leningradskogo

О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

О суперинтуиционистских логиках

А.В. Кузнецов (1975)

Matematiceskie issledovanija

Currently displaying 441 – 460 of 516

Previous Page 23 Next