https://www.iribnews.ir/fa/news/2224568/­نرم‌افزار-کتابخانه-تخصصی-و-معجم-موضوعی-منطق-تولید-شد