Карточка | Таблица | RUSMARC | |
Аннотация
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.
Статистика использования документа
books/element.php?pl1_cid=25&pl1_id=13199
|
Количество обращений: 6
За последние 30 дней: 0 Подробная статистика |
img/cover/book/13199.jpg
![]() |
Количество обращений: 10
За последние 30 дней: 0 Подробная статистика |