彼得·兰米奇 📧
2013年10月2日
此AFP条目提供基本工具,然后由优化和收集框架,为非确定性单体和各种集合数据结构。
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
自动定义AFP
@文章{自动定义AFP,author={Peter Lammich},title={自动数据优化},journal={正式证据存档},月份={十月},年份={2013},注意={\url{https://isa-afp.org/entries/Automatic_Refinement.html},形式证明开发},ISSN={2150-914x},}
旧版本: