ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Теория моделей/ М. А. Тайцлин
Material type:
TextLanguage: Russian Publication details: Новосибирск: 1970.Description: 214 с
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 Т 14 (Browse shelf(Opens below)) | Available | 30 Dajs Loan | IAP13111 |
Browsing Institute for Informatics and Automation Problems shelves Close shelf browser (Hides shelf browser)
| 51.01:16 С 89 Традициопнная и современная формульная логика/ | 51.01:16 С 89 Традиционная и современная формальная логика/ | 51.01:16 Т 14 Теория моделей/ | 51.01:16 Т 14 Теория моделей/ | 51.01:16 Т 15 Теория доказательств/ | 51.01:16 Т 65 Алгоритмы и вычислительные автоматы/ | 51.01:16 Т 65 Алгоритмы и машинное решение задач/ |
Библиогр.: с. 205-206
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.