Words statistics: !формализация: 1284, !эвристик: 497

1		Теория поиска вывода. Происхождение и философские приложения: монография Creators: Брюшинкин В. Н.; Ходикова Н. А. Imprint: Калининград: БФУ им. И.Канта, 2012 Collection: ЭБС "Лань" Subjects: выводы; логико-математические теоремы; теория доказательств; поризм; логические алгоритмы; математическая логика; гильбертовская теория доказательств; искусственный интеллект; история логики; логика; логика (история); логика математическая; логические теории; математика (философские вопросы); математическая логика теория поиска вывода; научная теория; поиск вывода; рациональная реконструкция; теория поиска; теория поиска вывода; философия; формализация эвристик Document type: Tutorial философия. формализация эвристик. key://localhost/RU\VSAU\weblan\13199
2		Теория поиска вывода. Происхождение и философские приложения: монография Creators: Брюшинкин В. Н.; Ходикова Н. А. Imprint: Калининград: БФУ им. И.Канта, 2012 Collection: ЭБС "Лань" Subjects: выводы; логико-математические теоремы; теория доказательств; поризм; логические алгоритмы; математическая логика; гильбертовская теория доказательств; искусственный интеллект; история логики; логика; логика (история); логика математическая; логические теории; математика (философские вопросы); математическая логика теория поиска вывода; научная теория; поиск вывода; рациональная реконструкция; теория поиска; теория поиска вывода; философия; формализация эвристик Document type: Tutorial философия. формализация эвристик. key://localhost/RU\VSAU\weblan\13199

Search was performed using the Yandex.Server