Логический подход к искусственному интеллекту От классической логики к логическому программированию [А. Тейз, П. Грибомон, Ж. Луи и др. ]; Перевод с фр. П. П. Пермякова; Под ред. Г. П. Гаврилова
Material type: TextPublication details: М. Мир 1990Description: 429 с. ил. 21 смISBN: 5030016368Subject(s): математическая логика | искусственный интеллект | логическое программирование | логический вывод (искусственный интеллект) | представление знаний (искусственный интеллект) | грамматики формальные | Пролог | аксиоматические системы | Хомского иерархия | логики немонотонные | логики автоэпистемистические | логики умолчаний | рассуждения (искусственный интеллект) модифицируемые | исчисление высказываний | исчисление предикатов | рассуждения (искусственный интеллект) | контекстно-свободные грамматикиOther classification: 27.03 | 22.12Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 1 | Available | 13820000382900 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 2 | Available | 13820000260193 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 3 | Available | 13820000268050 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 4 | Available | 13820000268049 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 5 | Available | 13820000268048 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 7 | Available | 13820000270593 | ||
6 месяцев | Научная библиотека ТГУ Абонемент. Депозитарий | 004 Л694 (Browse shelf(Opens below)) | 8 | Available | 13820000270591 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Абонемент. Депозитарий Close shelf browser (Hides shelf browser)
Авт. указаны на обороте тит. л.
Библиогр.: с. 411-417 (115 назв.)
Предм. указ.: с. 418-423
There are no comments on this title.