Логический подход к искусственному интеллекту : от классической логики к логическому программированию / [А. Тей [и др.]];пер. с фр. П. П. Пермякова; под ред. Г. П. Гаврилова .
Material type: TextLanguage: Russian Original language: French Publication details: М.: Мир, 1990.Description: 429 с. ил. 21 смISBN:- 5030016368
- 2040186581
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 2 კორპ. 2, საცავი | 510.6:004.8 (Browse shelf(Opens below)) | 2K7706 | Available | 2017-285950 |
Авт. указаны на обороте тит. л
Доп. тит. л. на фр. яз.
Библиогр.: с. 411-417.
Монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с точки зрения математической логики. Она состоит из шести глав: логика, аксиоматические системы, представление знаний и рассуждении, логика и модифицируемые рассуждения, формальные грамматики и логическое программирование, Пролог и логическое программирование. Книга построена так, что для понимания материала от читателя требуется только знание основ информатики. Для всех изучающих и использующих методы искусственного интеллекта и логического программирования.
There are no comments on this title.