О дизъюнктивном ранге формул конструктивной арифметики
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О реализациях предикатных формул”
О дизъюнктивном ранге формул конструктивной арифметики
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
О распознавании тавтологичности пропозициональных формул
П.Ю. Суворов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О кубатурных формулах с регулярным пограничным слоем
В.И. Половинкин (1972)
Sibirskij matematiceskij zurnal
Similarity:
Асимптотически оптимальные последовательности эрмитовых кубатурных формул.
В.И. Половинкин, Л.И. Дидур (1978)
Sibirskij matematiceskij zurnal
Similarity:
Об аппроксимации классов сведения УИП разрешимыми классами
С.А. Норгела (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Асимптотически наилучшие весовые кубатурные формулы.
В.И. Половинкин (1989)
Sibirskij matematiceskij zurnal
Similarity:
Некоторые вопросы теории весовых кубатурных формул
В.И. Половинкин (1971)
Sibirskij matematiceskij zurnal
Similarity:
О весовых квадратурных формулах.
И.М. Соболь (1978)
Sibirskij matematiceskij zurnal
Similarity:
Асимптотически наилучшие последовательности кубатурных формул
В.И. Половинкин (1975)
Sibirskij matematiceskij zurnal
Similarity:
К построению кубатурных формул, точных для тригонометрических многочленов
И. П. Мысовских (1990)
Banach Center Publications
Similarity:
Oб алгебрах формул счётно категоричных теорий
Е. А. Палютин (1974)
Colloquium Mathematicae
Similarity:
К задаче оптимизации коэффициентов кубатурных формул.
В.Д. Чарушников (1970)
Sibirskij matematiceskij zurnal
Similarity:
О корректировании недоказуемых формул
Г.В. Давыдов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity: