Academic Journal
ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ
| Τίτλος: | ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ |
|---|---|
| Στοιχεία εκδότη: | Тверской госуниверситет, 2015. |
| Έτος έκδοσης: | 2015 |
| Θεματικοί όροι: | 510.652 Формальная арифметика. Формальная теория чисел |
| Περιγραφή: | Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | Russian |
| Σύνδεσμος πρόσβασης: | https://openrepository.ru/article?id=438357 |
| Αριθμός Καταχώρησης: | edsair.httpsopenrep..b73bca663b5c92577058a284368172c9 |
| Βάση Δεδομένων: | OpenAIRE |
καταχωρήστε σχόλιο πρώτοι!