Вычислимость : Введение в теорию рекурсивных функций /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Катленд, Найджел
Այլ հեղինակներ: Мучник, А.А (Թարգմանիչ, пер.), Маслов, С.Ю (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
Հրապարակվել է: Москва : Мир, 1983.
Խորագրեր:
Функции рекурсивные - Вычисление
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 01078nam a2200253 a 4500
001 000075062
003 AM-YEHGA
005 20240826210315.0
008 030329s1983 ru |||||||||||||||||rus|d
040 |a AM-YEHGA  |c AM-YeHGA 
041 0 |a rus 
100 1 |a Катленд, Найджел 
245 1 0 |a Вычислимость :  |b Введение в теорию рекурсивных функций /  |c Н. Катленд ; Пер. с англ. А.А. Мучника ; Под ред. С.Ю. Маслова. 
260 |a Москва :  |b Мир,  |c 1983. 
300 |a 256 с. :  |b ил. ;  |c 21 см. 
534 |p Оригинал на англ. :  |t Computability. An Introduction to Recursive Function Theory /  |a Nigel Cutland -  |c Cambridge : Cambridge University Press : 1980 
650 1 4 |a Функции рекурсивные - Вычисление 
700 1 |a Мучник, А.А.  |e пер.  |4 trl 
700 1 |a Маслов, С.Ю.  |e ред.  |4 edt 
942 |c BK 
999 |c 22940 
952 |o PII/500580  |p FL0233323 
952 |o PII/502254  |p FL0230987 
952 |o PII/502255  |p FL0230988 

Նմանատիպ նյութեր