Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ : Сборник научных трудов / АН УССР, Науч. совет по пробл. "Кибернетика", Ин-т кибернетики им. В. М. Глушкова; [Редкол.: Ю. В. Капитонова (отв. ред.) и др.].
Material type:
TextLanguage: Russian Publication details: Киев : ИК, 1983Description: 98 с. : ил. ; 20 смSubject(s): Кибернетика - Сборники | Формализованные языки - Сборники
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/510639 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0211949 | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/511895 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0210464 |
Библиогр. в конце ст.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.