Поиск ведется по:
Общее количество найденных документов : 3
1. 16
Л694
Логический вывод [Текст] : [Сборник статей] / Ин-т философии АН СССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1979. - 311 с. : ил. ; 22 см. - Библиогр. в конце ст. - 4900 экз.. - (в пер.) : 1.90 р.
ГРНТИ 02.21.41
ББК Ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Смирнов, Владимир Александрович \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Л694
Логический вывод [Текст] : [Сборник статей] / Ин-т философии АН СССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1979. - 311 с. : ил. ; 22 см. - Библиогр. в конце ст. - 4900 экз.. - (в пер.) : 1.90 р.
ГРНТИ 02.21.41
ББК Ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Смирнов, Владимир Александрович \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
2. 16
Т338
Теория логического вывода [Текст] : сборник статей / Ин-т философии АН СССР ; Отв. ред. П. В. Таванец. - Москва : Наука, 1973. - 272 с. - Б. ц.
ГРНТИ 02.21
ББК ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Таванец, П. В. \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Т338
Теория логического вывода [Текст] : сборник статей / Ин-т философии АН СССР ; Отв. ред. П. В. Таванец. - Москва : Наука, 1973. - 272 с. - Б. ц.
ГРНТИ 02.21
ББК ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Таванец, П. В. \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
3. 658
Е421
Ездаков, Андрей Леонидович.
Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. - ISBN 978-5-8199-0398-8 (в пер.) : 200.00 р.
Допущено УМО
ГРНТИ 50.51
81.14.15
УДК:658.512.011.56(075.8)
Ключевые слова: экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия
Экземпляры всего: 5
Mесто хранения: аб (2), чз (3)
Свободны: аб (2), чз (3)
Найти похожие
Е421
Ездаков, Андрей Леонидович.
Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. - ISBN 978-5-8199-0398-8 (в пер.) : 200.00 р.
Допущено УМО
ГРНТИ 50.51
81.14.15
УДК:658.512.011.56(075.8)
Ключевые слова: экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия
Экземпляры всего: 5
Mесто хранения: аб (2), чз (3)
Свободны: аб (2), чз (3)
Найти похожие