Жужужу - Болотов А.Е., Бочаров В.А., Горчаков А.Е. - Алгорифм поиска вывода в классической пропозициональной логике http://bobrdobr.ru/73wk

— это бесплатный сервис для общения с друзьями. Здесь ты можешь открыть свой микроблог и писать в него любые короткие сообщения. Твои друзья непременно узнают о всех событиях, происходящих в твоей жизни.

ПРИСОЕДИНИТЬСЯ

Lira21 написал 5166 дней назад

Болотов А.Е., Бочаров В.А., Горчаков А.Е. - Алгорифм поиска вывода в классической пропозициональной логике http://bobrdobr.ru/73wk

вернуться назад