Showing
1 - 2
results of
2
Skip to content
VuFind
שפה
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
हिंदी
Հայերէն
Українська
כל השדות
כותר
מחבר
נושא
ISBN/ISSN
תג
מזהה
מצא
מתקדם
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
נושאים מוצעים:
Remove Filter
Рекурсивные функции
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
נושאים מוצעים:
Remove Filter
Рекурсивные функции
תוצאות חיפוש
תוצאות חיפוש
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
Рекурсивные функции
арифметические предикаты
1
вычислимость
1
классы Гжегорчика
1
математика
1
машинное описание
1
множества
1
неразрешимость
1
нумерация
1
отношения
1
предикаты
1
разрешимость
1
тезис Черча
1
универсальные программы
1
функции
1
функции по Сколему
1
Showing
1 - 2
results of
2
Refine Results
מיון
רלוונטיות
תאריך יורד
תאריך עולה
סימן מיקום
מחבר
כותר
1
Вычислимость. Введение в теорию рекурсивных функций пер. с англ.
מאת
Катленд Н. Найджел
יצא לאור Москва, Мир, 1983
סימן המיקום:
טוען...
ממוקם:
טוען...
ספר
טוען...
2
Элементарные рекурсивные функции
מאת
Марченков С. С. Сергей Серафимович
יצא לאור Москва, МЦНМО, 2003
סימן המיקום:
טוען...
ממוקם:
טוען...
ספר
טוען...
כלי חיפוש:
קבל רסס (RSS)
שליחת חיפוש דרך דואל
חזרה
Refine Results
Page will reload when a filter is selected or excluded.
Conference Proceeding
מוסד
НИ ТПУ
2 results
2
ספריה
НТБ
2 results
2
Please enable JavaScript.
פורמט
ספר
2 results
2
מחבר
Катленд Н. Найджел
1 results
1
Марченков С. С. Сергей Серафимович
1 results
1
Маслов С. Ю
1 results
1
Hierarchical level
нулевои
2 results
2
שנת הוצאה לאור
מ:
אל: