Брюшинкин, В. Н. Теория поиска вывода. Происхождение и философские приложения [Электронный ресурс]: монография / В. Н. Брюшинкин, Н. А. Ходикова. — Калининград: БФУ им. И.Канта, 2012 — 166 с. — Книга из коллекции БФУ им. И.Канта - Социально-гуманитарные науки. — <URL:https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199>. — <URL:https://e.lanbook.com/img/cover/book/13199.jpg>.

Record create date: 1/19/2023

Subject: выводы; логико-математические теоремы; теория доказательств; поризм; логические алгоритмы; математическая логика; гильбертовская теория доказательств; искусственный интеллект; история логики; логика; логика (история); логика математическая; логические теории; математика (философские вопросы); математическая логика теория поиска вывода; научная теория; поиск вывода; рациональная реконструкция; теория поиска; теория поиска вывода; философия; формализация эвристик

UDC: 16(091):167:510.66

LBC: 22.12

Collections: ЭБС "Лань"