Näytetään
1 - 2
yhteensä
2
tuloksesta
Siirry sisältöön
VuFind
Kieli
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Kaikki kentät
Nimeke
Tekijä
Aihe
ISBN/ISSN
Tagi
Tunniste
Hae
Tarkennettu
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Käytetyt suodattimet:
Aihe-ehdotuksia:
Poista suodatin
Рекурсивные функции
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Näytä rajaukset (1)
Aihe-ehdotuksia:
Poista suodatin
Рекурсивные функции
Hakutulokset
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Рекурсивные функции
арифметические предикаты
1
вычислимость
1
классы Гжегорчика
1
математика
1
машинное описание
1
множества
1
неразрешимость
1
нумерация
1
отношения
1
предикаты
1
разрешимость
1
тезис Черча
1
универсальные программы
1
функции
1
функции по Сколему
1
Näytetään
1 - 2
yhteensä
2
tuloksesta
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
Tekijä
Катленд Н. Найджел
Julkaistu Москва, Мир, 1983
Hyllypaikka:
Lataa…
Sijainti:
Lataa…
Kirja
Lataa…
2
Элементарные рекурсивные функции
Tekijä
Марченков С. С. Сергей Серафимович
Julkaistu Москва, МЦНМО, 2003
Hyllypaikka:
Lataa…
Sijainti:
Lataa…
Kirja
Lataa…
Työkalut:
RSS-syöte
Lähetä haku sähköpostilla
Takaisin
Tarkenna hakua
Sivu ladataan uudelleen, kun suodatin valitaan tai jätetään pois.
Konferenssijulkaisu
Organisaatio
НИ ТПУ
2 tulosta
2
Kirjasto
НТБ
2 tulosta
2
Ota JavaScript käyttöön.
Aineistotyyppi
Kirja
2 tulosta
2
Tekijä
Катленд Н. Найджел
1 tulosta
1
Марченков С. С. Сергей Серафимович
1 tulosta
1
Маслов С. Ю
1 tulosta
1
Kieli
venäjä
2 tulosta
2
Hierarchical level
нулевои
2 tulosta
2
Julkaisuvuosi
Alkaen:
Päättyen: