Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] / [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.] ; науч. ред. Е. Д. Смирнова
Publication: М. : Наука, 1990Description: 240 с. : ил.Language: російська.Country: СРСР.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:
Книга
| 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
There are no comments on this title.