Refine your search
Availability
-
- Книги (2)
-
Authors
- Брюшинкин, В. Н. (2)
- Ходикова, Н. А. (1)
-
Collections
- ЭБС Лань (1)
-
Locations
-
Topics
- выводы (1)
- гильбертовская теория доказательств (1)
- искусственный интеллект (1)
- история логики (1)
- логика (1)
- логика (история) (1)
- логика математическая (1)
- логико-математические теоремы (1)
- логические алгоритмы (1)
- логические теории (1)
- математика (философские вопросы) (1)
- математическая логика (1)
- математическая логика теория поиска вывода (1)
- научная теория (1)
- поиск вывода (1)
- поризм (1)
- рациональная реконструкция (1)
- теория доказательств (1)
- теория поиска (1)
- теория поиска вывода (1)
- философия (1)
- формализация эвристик (1)
- Show more
- Show less
-
Item types