Логика и компьютер : Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; АН СССP.
Material type:
TextSeries: Кибернетика - неограниченные возможности и возможные ограниченияPublication details: Москва : Наука , 1990Description: 238,[1] с. : ил. ; 20 смISBN: 5020071560Subject(s): Вычислительные машины -- Программирование -- Логические основы
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | 681.3.06:510.6 (Browse shelf(Opens below)) | Available | 30 Days Loan | 120623939 | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | 681.3.06:510.6 (Browse shelf(Opens below)) | Available | 30 Days Loan | 120628318 |
Авт. указаны на обороте тит. л.
Библиогр.: с. 231-235 (52 назв.)
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.