Jazyk:	ruština
Rok vydání:	2015
Předmět:	510.652 Формальная арифметика. Формальная теория чисел
Popis:	Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=httpsopenrep::25c6d7666ad4965ce86d9dd6ba0b244f https://openrepository.ru/article?id=773009 Zobrazit plný text záznamu