|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Алгоритм поиска вывода в классической логике предикатовстатья
- Авторы: Болотов А.Е., Бочаров В.А., Горчаков А.Е.
- Сборник: Логические исследования
- Серия: Вып. 5
- Год издания: 1998
- Место издания: Наука М
- Добавил в систему: Горчаков Александр Евгеньевич