| № |
Element
|
Documents count |
|---|---|---|
| 1 | WhaleProver (>>>) | 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 | системы доказательства теорем (>>>) | 1 |
Facet 'Subjects'
Filter: Subjects:системы доказательства теорем