ԳԱԱ Ինստիտուտների համահավաք գրացուցակ = Логика и компьютер: Моделирование рассуждений и проверка правильности программ/ Академия наук СССР; Ред.кол. : И.М. Макаров,С.В. Емельянов,Н.Н. Шереметевский и др.
Material type:
TextLanguage: Russian Series: Кибернетика-неограниченные возможности и возможные ограниченияPublication details: Москва: Наука, 1990.Description: 238 с
| Item type | Current library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Institute for Informatics and Automation Problems | 51.01:16 Л 69 (Browse shelf(Opens below)) | Available | 30 Days Loan | IAP26859 |
Библиогр. : с.231-235
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.