- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрика: пошук доведень в логічних численнях
Показані записи 3 з 3
| Рубрики вищого рівня | Назва рубрики | См. також | Підрубрики | Документи | |
|---|---|---|---|---|---|
| в рубрике | с урахуванням підрубрик | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => пошук доведень в логічних численнях |
екваціональні судження | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => пошук доведень в логічних численнях |
логічне програмування | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => пошук доведень в логічних численнях |
метод резолюцій, метод розкладу | ||||