Електронний каталог Науково-технічної бібліотеки Національного університету „Львівська політехніка“

Логика и компьютер. Моделирование рассуждений и проверка правильности программ [Текст] ; [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.] ; науч. ред. Е. Д. Смирнова

Вторинна відповідальність: Алешина Н. А. ; Анисов А. М. ; Быстров П. И. ; науч. ред.  Смирнова Е. Д.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: Книга
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Книгосховище № 7 (KSH7)
Фонд відділу абонементів навчальної літератури
16/Л694 (Browse shelf(Opens below)) Available NR0504813
Книгосховище № 7 (KSH7)
Фонд відділу абонементів навчальної літератури
16/Л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 назв.)

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Share

Національний університет „Львівська політехніка“

Науково-технічна бібліотека

Koha Ukraine

Powered by Koha