| № |
Элемент
|
Количество документов |
|---|---|---|
| 1 | автоматическое доказательство теорем (>>>) | 1 |
| 2 | доказательство теорем (>>>) | 1 |
| 3 | интуиционистская логика (>>>) | 1 |
| 4 | Искусственный интеллект. Экспертные системы (>>>) | 1 |
| 5 | логические исчисления (>>>) | 1 |
| 6 | Маслова обратный метод (>>>) | 1 |
| 7 | Математическая логика (>>>) | 1 |
| 8 | обратный метод Маслова (>>>) | 1 |
| 9 | программы (>>>) | 1 |
| 10 | программы доказательства теорем (>>>) | 1 |
| 11 | Радиоэлектроника (>>>) | 1 |
| 12 | секвенции (>>>) | 1 |
| 13 | системы доказательства теорем (>>>) | 1 |
| 14 | WhaleProver (>>>) | 1 |
Фасет 'Тематика'
Фильтр: Тематика:системы доказательства теорем