Изкуствен интелект
Една от основните цели на опростяването на синтаксиса на позиционното и предикативното смятане е да се съкрати бр. на правилата за извод, които са необходими за доказване на теореми....
МАГАЗИН
Информация и рейтинг
Дата: | 2012-06-01 |
Тип: | Пищов |
Предмет: | Информатика, ИТ |
Страници: | 2 стр. |
Размер: | 83.50 kB |
Рейтинг: | |
Сподели: |