Логика и компьютер : Моделирование рассуждений и проверка правильности программ / Н.А. Алешина, А.М. Анисов, П.И. Быстров и др. ; Науч. ред. Е.Д. Смирнова ; АН СССP.
Material type:
TextSeries: Кибернетика - неограниченные возможности и возможные ограниченияPublication details: Москва : Наука , 1990.Description: 238,[1] с. : ил. ; 20 смISBN: - 5020071560
| 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 назв.)
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a