Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; Пер. с англ. В. А. Душского ; Под ред. В. А. Успенского.

By:

Contributor(s):

Material type: Text

TextLanguage: Russian Original language: English Москва : Мир, 1972Description: 624 сSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	517.11 (Browse shelf(Opens below))	2R408639	შესამოწმებელია		2016-25462

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	517.11 Надежность алгоритмов управления /	517.11 Логика и алгоритмы. Лекции для слушателей ФПК при НГУ /	517.11 Машины Тьюринга и рекурсивные функции /	517.11 Теория рекурсивных функций и эффективная вычислимость /	517.11 სიმრავლურ-ლოგიკური ენა და მისი გამოყენება მათემატიკის სასკოლო კურსის სწავლებაში :	517.11 Рекурсивный математический анализ /	517.11 Рекурсивный математический анализ /	Next

Библиогр. в конце статей.

There are no comments on this title.

to post a comment.

National Science Library of Georgia