数学杂志
研究文章

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

图6

iText的类数的正式关系。