Normal view
MARC view
Логика и компьютер моделирование рассуждений и проверка правильности программ [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров] ; Акад. наук СССР
Material type: TextLanguage: Russian Series: Кибернетика: неограниченные возможности и возможные ограниченияPublication details: Москва Наука 1990Description: 238, [1] с. ил. 20 смISBN: 5020071560Subject(s): программирование, логические основы | информатика | математическая логика | математическая логика классическая первопорядковая | логика предикатов | силлогистика | математическая логика и искусственный интеллект | математическая индукция | математическая логика эпистемическая | рассуждения (искусственный интеллект) правдоподобные | программы (информатика), доказательство правильностиOther classification: 50.05 | 32.973-01 | 24.4.1Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-748838 (Browse shelf(Opens below)) | Available | 13820000913272 |
Авт. указаны на обороте тит. л.
Библиогр.: с. 231-235 (52 назв.)
There are no comments on this title.
Log in to your account to post a comment.