Алгоритм поиска вывода в классической логике предикатовстатья

Работа с статьей


[1] Болотов А. Е., Бочаров В. А., Горчаков А. Е. Алгоритм поиска вывода в классической логике предикатов // Логические исследования. — Вып. 5. — Наука М, 1998.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть