ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Теория формальных систем/ Р. Смальян; пер. Н. К. Косовский; ред. Н. А. Шанин
Material type:
TextLanguage: Russian Series: Математияеская логика и основания математикиPublication details: Москва: Наука, 1981.Description: 207 сSubject(s):
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:518.5 С 50 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP23282 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:518.5 Р 60 Теория рекурсивных функций и эффективная вычислимость/ | 51.01:518.5 С 48 Сложность вычислений и алгоритмов/ | 51.01:518.5 С 50 Теория формальных систем/ | 51.01:518.5 С 50 Теория формальных систем/ | 51.01:518.5 Т 18 Теория расписаний. Одностадийные системы/ | 51.01:518.5 Т 33 Теория алгорифмов и математическая логика/ | 51.01:518.5 Т 33 Теория алгорифмов и математическая логика/ |
Библиогр.: с. 202-204
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.