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