VSAU
Electronic Library

     
?
     
?

Electronic Documents Search
Documents found: 2 1

Words statistics: !научная: 232622, !теория: 104204

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

Калининград: БФУ им. И.Канта, 2012. выводы. логико-математические теоремы. теория доказательств.

научная теория. поиск вывода. рациональная реконструкция.

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

Калининград: БФУ им. И.Канта, 2012. выводы. логико-математические теоремы. теория доказательств.

научная теория. поиск вывода. рациональная реконструкция.

key://localhost/RU\VSAU\weblan\13199
Documents found: 2 1
Yandex Logo Search was performed using the Yandex.Server
Loading, please wait...