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

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


[1] Болотов А. Е., Бочаров В. А., Горчаков А. Е. Алгоритм поиска вывода в классической пропозициональной логике // Труды научно-исследовательского семинара логического центра Института философии РАН. — Т. 11. — М., ИФРАН, 1996.

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