Αποτελέσματα αναζήτησης
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
- автоматическое доказательство
- теоремы 8
- графы 7
- булевы функции 6
- алгебра множеств 5
- алгебраические структуры 5
- биноминальные коэффициенты 5
- векторные пространства 5
- высказывания 5
- двойственность 5
- деревья 5
- жадные алгоритмы 5
- исчисление 5
- кодирование 5
- комбинаторика 5
- комбинаторные задачи 5
- кратчайший остов 5
- логические исчисления 5
- логические связки 5
- матроиды 5
- множества 5
- модули 5
- нормальные формы 5
- орграфы 5
- отношения порядка 5
- отношения эквивалентности 5
- планарность 5
- полнота 5
- предикаты 5
- производящие функции 5
-
1
-
2
Нецелеориентированная стратегия вывода формул в модальных исчислениях
Έκδοση 2006Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Κεφάλαιο βιβλίου -
3
-
4
-
5
-
6
-
7
Искусственный интеллект. Подход на основе эвристического программирования пер. с англ.
Έκδοση Москва, Мир, 1973Βιβλίο -
8
Достоверный и правдоподобный вывод в интеллектуальных системах
Έκδοση Москва, Физматлит, 2004Βιβλίο -
9