Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

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

Contributor(s): Алешина, Наталия Альбертовна | Анисов, Александр Михайлович | Быстров, Петр Иванович | Смирнова, Елена Дмитриевна [edt]Material type: TextTextLanguage: Russian Series: Кибернетика: неограниченные возможности и возможные ограниченияPublication details: Москва Наука 1990Description: 238, [1] с. ил. 20 смISBN: 5020071560Subject(s): программирование, логические основы | информатика | математическая логика | математическая логика классическая первопорядковая | логика предикатов | силлогистика | математическая логика и искусственный интеллект | математическая индукция | математическая логика эпистемическая | рассуждения (искусственный интеллект) правдоподобные | программы (информатика), доказательство правильностиOther classification: 50.05 | 32.973-01 | 24.4.1
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item 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.

to post a comment.