Local cover image
Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.] ; науч. ред. Е. Д. Смирнова
Publication: М. : Наука, 1990Description: 240 с. : ил.Language: російська.Country: СРСР.Форматний номер: 2 формат (висота > 17-23 см)ISBN: 5-02-007156-0.Серія: Кибернетика - неограниченные возможности и возможные ограниченияВид літератури за цільовим призначенням: НауковіУДК: 16 + 004.4Bibliography: Библиогр.: с. 231-235 (52 назв.).УДК-теми: 16 Логiка. Епiстемологiя. Теорiя пiзнання. Методологiя та логіка науки « 1 Фiлософськi науки004.4 Програмне забезпечення « 004 Комп'ютерна наука і технологія. Застосування комп'ютера « 00 Загальнi питання науки i культури « 0 Загальний вiддiл Item type:
Книга
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
|
Книга
|
Книгосховище № 5 (KSH5) Фонд відділу абонементів навчальної літератури | 004/Л694 (Browse shelf(Opens below)) | Available | NR0504813 | ||
|
Книга
|
Книгосховище № 5 (KSH5) Фонд відділу абонементів навчальної літератури | 004/Л694 (Browse shelf(Opens below)) | Available | NR0494506 | ||
|
Книга
|
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01297260 (Browse shelf(Opens below)) | Available | 01297260 | ||
|
Книга
|
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298943 (Browse shelf(Opens below)) | Available | 01298943 | ||
|
Книга
|
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298944 (Browse shelf(Opens below)) | Available | 01298944 | ||
|
Книга
|
Книгосховище відділу книгозберігання (KSHVKZ) Фонд відділу книгозберігання | 01298945 (Browse shelf(Opens below)) | Available | 01298945 |
Библиогр.: с. 231-235 (52 назв.)
Click on an image to view it in the image viewer