数学杂志
研究文章

一个新颖的方法来自动化使用事实萃取系统复杂的软件模块化

图1

萃取过程的事实。